package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : 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