package grenier

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