Module Rule.Cyclic

module Cyclic: sig .. end

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

module type Parameters = sig .. end

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