module Rrpcs_2d:"p" for "pseudo conjugate", a slight (buggy) variation (conjugating only the center cell) of rrcs2dsig..end
val id_to_array : int -> bool arrayval transition_rule_rrpcs2d : int -> int array array -> bool array -> int -> boolmodule type Parameters =sig..end
module Automaton: