package cil
-
cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val newAlphaName :
alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
undolist:'a undoAlphaElement list Pervasives.ref option ->
lookupname:string ->
data:'a ->
string * 'aval registerAlphaName :
alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
undolist:'a undoAlphaElement list Pervasives.ref option ->
lookupname:string ->
data:'a ->
unitval docAlphaTable :
unit ->
(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
Pretty.docval undoAlphaChanges :
alphaTable:(string, 'a alphaTableData Pervasives.ref) Hashtbl.t ->
undolist:'a undoAlphaElement list ->
unit