goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a undoAlphaElement
type 'a alphaTableData
val newAlphaName : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t -> undolist:'a undoAlphaElement list Pervasives.ref option -> lookupname:string -> data:'a -> string * 'a
val registerAlphaName : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t -> undolist:'a undoAlphaElement list Pervasives.ref option -> lookupname:string -> data:'a -> unit
val docAlphaTable : unit -> (string, 'a alphaTableData Pervasives.ref) Hashtbl.t -> Pretty.doc
val getAlphaPrefix : lookupname:string -> string
val undoAlphaChanges : alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t -> undolist:'a undoAlphaElement list -> unit