Module Word

module Word: sig .. end

Converting a series of transitions into a word, and printing it.

type word = int * Tools.TrSet.t * int

Type of words.

val graph : Tools.ptrans list -> word

Converts a list of transitions into a word.

val print_word : word -> string

Prints a word.

val get_expr : word -> string Expr.ground

Converts a word into an expression.