Make
module A : T
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
Frama-C