Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

Parameters

module A : T

Signature

type t = A.t
type set
type 'a map
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
module Map : Map with type 'a t = 'a map and type key = t and type domain = set
module Set : Set with type t = set and type elt = t and type 'a mapping = 'a map