sig
type 'a undoAlphaElement
type 'a alphaTableData
type 'a alphaTable =
(string, (string, 'a Alpha.alphaTableData Stdlib.ref) Stdlib.Hashtbl.t)
Stdlib.Hashtbl.t
val newAlphaName :
alphaTable:'a Alpha.alphaTable ->
?undolist:'a Alpha.undoAlphaElement list Stdlib.ref ->
lookupname:string -> data:'a -> string * 'a
val registerAlphaName :
alphaTable:'a Alpha.alphaTable ->
?undolist:'a Alpha.undoAlphaElement list Stdlib.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