Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

Parameters

module T : Type

Signature

type var = private {
  1. vid : int;
  2. vbase : string;
  3. vrank : int;
  4. vtau : T.t;
}

Hashconsed

val dummy : var

null vid

val hash : var -> int

vid

val equal : var -> var -> bool

==

val compare : var -> var -> int
val pretty : Stdlib.Format.formatter -> var -> unit
type pool
val create : ?copy:pool -> unit -> pool
val add : pool -> var -> unit
val fresh : pool -> string -> T.t -> var
val alpha : pool -> var -> var