Functor Data.Identified

module Identified: 
functor (A : IdentifiedType-> 
functor (I : Info-> Index with type t = A.t

Builds a projectified index on types with unique identifiers.

Parameters:
A : IdentifiedType
I : Info

include Data.S
val get : t -> int
val find : int -> t
val clear : unit -> unit

Clear index tables. Use with extreme care.