Module Strong.FiniteSource

Sourcetype 'a set = 'a Natural.t
Sourcemodule type Set = Natural.T
Sourceval cardinal : 'a set -> int
Sourcetype 'a elt = private int
Sourceval elt_of_int : 'a set -> int -> 'a elt
Sourceval elt_to_int : 'a elt -> int
Sourceval iter_set : 'a set -> ('a elt -> unit) -> unit
Sourceval rev_iter_set : 'a set -> ('a elt -> unit) -> unit
Sourceval all_elements : 'a set -> 'a elt array
Sourcemodule type Map = sig ... end
Sourcetype 'a map = (module Map with type codomain = 'a)
Sourcemodule Map_of_array (A : sig ... end) : Map with type codomain = A.codomain
Sourceval iter_map : 'a map -> ('a -> unit) -> unit