package frama-c

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

Module Pool.MakeSource

Parameters

module T : Type

Signature

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

Hashconsed

Sourceval dummy : var

null vid

Sourceval hash : var -> int

vid

Sourceval equal : var -> var -> bool

==

Sourceval compare : var -> var -> int
Sourceval pretty : Format.formatter -> var -> unit
Sourcetype pool
Sourceval create : ?copy:pool -> unit -> pool
Sourceval add : pool -> var -> unit
Sourceval fresh : pool -> string -> T.t -> var
Sourceval alpha : pool -> var -> var
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct