Utils.MapExtra
include Types.MAP with type 'a t = 'a M.t and type key = M.key
val order : ('a -> 'a -> Types.order) -> 'a t -> 'a t -> Types.order
val pp_map :
?pp_sep:unit Types.pp ->
(Stdlib.Format.formatter -> key -> 'a -> unit) ->
'a t Types.pp
Custom pretty printer
module List : sig ... end
Map whose images are lists of elements