Changeset 782 for src/common
- Timestamp:
- Apr 28, 2011, 5:36:33 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Identifiers.ma
r779 r782 62 62 an_id_map : BitVectorTrie A 16 → identifier_map tag A. 63 63 64 65 64 definition empty_map : ∀tag:String. ∀A. identifier_map tag A ≝ 66 65 λtag,A. an_id_map tag A (Stub A 16).
Note: See TracChangeset
for help on using the changeset viewer.