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