sig
  type word = int * Tools.TrSet.t * int
  val graph : Tools.ptrans list -> Word.word
  val print_word : Word.word -> string
  val get_expr : Word.word -> string Expr.ground
end