pa_ppx

PPX Rewriters for Ocaml, written using Camlp5
Library pa_ppx_utils
type dom = int
type 'rng init_t = int
type 'rng t
val mk : 'rng init_t -> 'rng t
val map : 'rng t -> dom -> 'rng
val dom : 'rng t -> dom list
val rng : 'rng t -> 'rng list
val in_dom : 'rng t -> dom -> bool
val in_rng : 'rng t -> 'rng -> bool
val inv : 'rng t -> 'rng -> dom list
val add : 'rng t -> (dom * 'rng) -> unit
val rmv : 'rng t -> dom -> unit
val remap : 'rng t -> dom -> 'rng -> unit
val app : ( dom -> 'rng -> unit ) -> 'rng t -> unit
val fold : ( 'a -> (dom * 'rng) -> 'a ) -> 'a -> 'rng t -> 'a
val try_find : ( (dom * 'rng) -> 'c ) -> 'rng t -> 'c
val toList : 'rng t -> (dom * 'rng) list
val for_all : ( dom -> 'rng -> bool ) -> 'rng t -> bool
val exists : ( dom -> 'rng -> bool ) -> 'rng t -> bool
val size : 'rng t -> int
val empty : 'rng t -> bool
val clear : 'rng t -> unit
val min : 'b t -> dom
val max : 'b t -> dom