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