Functor Rule.Cyclic.Automaton

module Automaton: 
functor (Parameters : Parameters) -> sig .. end

include struct ... end

val name : string

val transition_rule : int array array -> int array -> int -> int