Module type Index.IndexedType

module type IndexedType = sig .. end

Signature for types with natural number indexing.

type t

The type of map keys.

val index : t -> int

Indexing function for objects of type t.

val inverse : int -> t

inverse i is the x such that index x = i.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.