Add 'of_Success' function to unwrap evaluated results

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

Closed DIJamner closed 1 year ago

DIJamner commented 1 year ago

Add the recommended function to improve unwrapping an evaluated success in mit-plv/bedrock2/pull/335.