sig
type 'a undoAlphaElement
type 'a alphaTableData
type 'a alphaTable =
(string, (string, 'a Alpha.alphaTableData Pervasives.ref) Hashtbl.t)
Hashtbl.t
val newAlphaName :
alphaTable:'a Alpha.alphaTable ->
?undolist:'a Alpha.undoAlphaElement list Pervasives.ref ->
lookupname:string -> data:'a -> string * 'a
val registerAlphaName :
alphaTable:'a Alpha.alphaTable ->
?undolist:'a Alpha.undoAlphaElement list Pervasives.ref ->
lookupname:string -> data:'a -> unit
val getAlphaPrefix : lookupname:string -> string * string
val undoAlphaChanges :
alphaTable:'a Alpha.alphaTable ->
undolist:'a Alpha.undoAlphaElement list -> unit
end