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