Changeset 1214 for src/common
- Timestamp:
- Sep 15, 2011, 2:27:50 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Errors.ma
r1125 r1214 238 238 #A #m #P #e elim e; /2/; 239 239 qed. 240 241 definition res_to_opt : ∀A:Type[0]. res A → option A ≝ 242 λA.λv. match v with [ Error _ ⇒ None ? | OK v ⇒ Some … v].
Note: See TracChangeset
for help on using the changeset viewer.