package grenier

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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