Frama_c_kernel.Map
Extension of OCaml's Stdlib.Maps module.
Stdlib.Maps
include module type of Stdlib.Map
module type OrderedType = sig ... end
module type S = sig ... end
Extension of Stdlib.Map.S.
Stdlib.Map.S
module Make (Ord : OrderedType) : S with type key = Ord.t