Frama_c_kernel.Hptset
Sets over ordered types.
This module implements the set data structure. All operations over sets are purely applicative (no side-effects).
module type S_Basic_Compare = sig ... end
Subset of the OCaml Set.S signature.
module type S = sig ... end
Output signature of the functor Set
.Make.
module type Initial_values = sig ... end
module type Datatype_deps = sig ... end
module Make
(X : Hptmap.Id_Datatype)
(_ : Initial_values with type elt := X.t)
(_ : Datatype_deps) :
sig ... end