Module B0.String.Map

module Map: sig .. end
String maps.


String maps


include Map.S
type 'a t = 'a B0.String.map 
The type for string maps.
val dom : 'a B0.String.map -> B0.String.set
dom m is the domain of m.
val of_list : (string * 'a) list -> 'a B0.String.map
of_list bs is List.fold_left (fun m (k, v) -> add k v m) empty bs.
val pp : ?sep:unit B0.Fmt.t -> (string * 'a) B0.Fmt.t -> 'a B0.String.map B0.Fmt.t
pp ~sep pp_binding ppf m formats the bindings of m on ppf. Each binding is formatted with pp_binding and bindings are separated by sep (defaults to Format.pp_print_cut). If the map is empty leaves ppf untouched.
val dump : 'a B0.Fmt.t -> 'a B0.String.map B0.Fmt.t
dump pp_v ppf m prints an unspecified representation of m on ppf using pp_v to print the map codomain elements.
val dump_string_map : string B0.String.map B0.Fmt.t
dump_string_map ppf m prints an unspecified representation of the string map m on ppf.