Functor Data.Identified

module Identified: 
functor (A : IdentifiedType-> Index with type t = A.t
Builds a projectified index on types with unique identifiers
Parameters:
A : IdentifiedType

include Data.S_collection
val get : t -> int
val find : int -> t
Raises Not_found if not registered
val clear : unit -> unit
Clear index tables. Use with extreme care.