Module Read

module Read: sig .. end

Reading system

val parse : Pervasives.in_channel -> int * Core.automaton * Core.generation

Read an automaton and a generation from the given file