package goblint-cil

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

Innovation. Community. Security.