Module B0.Unit.Map

module Map: sig .. end
Unit maps.


Unit maps


include Map.S
val of_list : (B0.Unit.t * 'a) list -> 'a B0.Unit.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 -> (B0.Unit.t * 'a) B0.Fmt.t -> 'a B0.Unit.map B0.Fmt.t
type 'a t = 'a B0.Unit.map 
The type for unit maps.
val dom : 'a B0.Unit.map -> B0.Unit.set
dom m is the domain of m.