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 Make
(X : Hptmap.Id_Datatype)
(Initial_Values : sig ... end)
(Datatype_deps : sig ... end) :
sig ... end