Functor Rule.Totalizing.Automaton


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

include struct ... end
val name : string
val transition_rule : int array array -> bool array -> int -> bool