pa_ppx

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