Frama-C API - 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 Info = sig ... end
Required information for the correctness of the hptsets.