Changeset 1058 for src/common


Ignore:
Timestamp:
Jul 6, 2011, 1:29:58 PM (8 years ago)
Author:
campbell
Message:

Evict CompCert? Maps interface in favour of BitVectorTries?.

Location:
src/common
Files:
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Identifiers.ma

    r1057 r1058  
    9191                                           (match m with [ an_id_map m' ⇒ m' ])).
    9292
     93(* Extract every identifier, value pair from the map. *)
     94definition elements : ∀tag,A. identifier_map tag A → list (identifier tag × A) ≝
     95λtag,A,m.
     96  fold ??? (λl,a,el. 〈an_identifier tag l, a〉::el)
     97           (match m with [ an_id_map m' ⇒ m' ]) [ ].
     98
    9399axiom MissingId : String.
    94100
Note: See TracChangeset for help on using the changeset viewer.