module Core: sig .. end
sig
end
type state =
|
A
(*
*)
D
type generation = state array array
state array array
type automaton = state array
state array