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.