Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Idxset`

Set of indexed elements implemented as Patricia sets.

module type S = sig ... end

module type IndexedElements = sig ... end

module Make (E : IndexedElements) : S with type elt = E.t

Frama-C API - Idxset