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