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