You can search for identifiers within the package.
in-package search v0.2.0
Keys.
type 'a info
The type for key information.
val create : 'a info -> 'a key
create i is a new key with information i.
create i
i
val info : 'a key -> 'a info
info k is k's information.
info k
k
Exisential keys allow to compare keys. This can be useful for functions like filter.
filter
type t
The type for existential keys.
val hide_type : 'a key -> t
hide_type k is an existential key for k.
hide_type k
val equal : t -> t -> bool
equal k k' is true iff k and k' are the same key.
equal k k'
true
k'
val compare : t -> t -> int
compare k k' is a total order on keys compatible with equal.
compare k k'
equal