Library
Module
Module type
Parameter
Class
Class type
A map indexed by metric families.
include Stdlib.Map.S with type key = MetricInfo.t
type key = MetricInfo.t
val empty : 'a t
val is_empty : 'a t -> bool
val cardinal : 'a t -> int
get k m
is like Map.S.find
but raises Invalid_argument
if k
is not bound in m
.
get_min_binding
is like min_binding
but
get_min_binding
is like max_binding
but
choose m
is a binding of m
(if any). Equal bindings are chosen for equal maps.
of_list l
is the map holding the bindings of l
. If a key is bound more than once the last one takes over.
val pp :
?sep:(Stdlib.Format.formatter -> unit -> unit) ->
(Stdlib.Format.formatter -> (key * 'a) -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit
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.