Module Rule.Majority

module Majority: sig .. end

if sum_of_neighbours > nb_neighbours then 1 else 0. There are 3 ways to handle the equality case:

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

module type Parameters = sig .. end

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