pa_ppx

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