pa_ppx

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