sig   val empty : 'a map   val is_empty : 'a map -> bool   val mem : t -> 'a map -> bool   val add : t -> '-> 'a map -> 'a map   val singleton : t -> '-> 'a map   val remove : t -> 'a map -> 'a map   val merge :     (t -> 'a option -> 'b option -> 'c option) -> 'a map -> 'b map -> 'c map   val union : (t -> '-> '-> 'a option) -> 'a map -> 'a map -> 'a map   val compare : ('-> '-> int) -> 'a map -> 'a map -> int   val equal : ('-> '-> bool) -> 'a map -> 'a map -> bool   val iter : (t -> '-> unit) -> 'a map -> unit   val fold : (t -> '-> '-> 'b) -> 'a map -> '-> 'b   val for_all : (t -> '-> bool) -> 'a map -> bool   val exists : (t -> '-> bool) -> 'a map -> bool   val filter : (t -> '-> bool) -> 'a map -> 'a map   val partition : (t -> '-> bool) -> 'a map -> 'a map * 'a map   val cardinal : 'a map -> int   val bindings : 'a map -> (t * 'a) list   val split : t -> 'a map -> 'a map * 'a option * 'a map   val map : ('-> 'b) -> 'a map -> 'b map   val mapi : (t -> '-> 'b) -> 'a map -> 'b map   type 'a t = 'Fpath.map   val min_binding : 'Fpath.map -> (Fpath.path * 'a) option   val get_min_binding : 'Fpath.map -> Fpath.path * 'a   val max_binding : 'Fpath.map -> (Fpath.path * 'a) option   val get_max_binding : 'Fpath.map -> string * 'a   val choose : 'Fpath.map -> (Fpath.path * 'a) option   val get_any_binding : 'Fpath.map -> Fpath.path * 'a   val find : Fpath.path -> 'Fpath.map -> 'a option   val get : Fpath.path -> 'Fpath.map -> 'a   val dom : 'Fpath.map -> Fpath.set   val of_list : (Fpath.path * 'a) list -> 'Fpath.map   val pp :     ?sep:(Format.formatter -> unit -> unit) ->     (Format.formatter -> Fpath.path * '-> unit) ->     Format.formatter -> 'Fpath.map -> unit   val dump :     (Format.formatter -> '-> unit) ->     Format.formatter -> 'Fpath.map -> unit end