Module Rule.Antimajority

module Antimajority: sig .. end

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

val transition_rule_antimaj : int array array -> bool array -> int -> bool

module type Parameters = sig .. end

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