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 array
val transition_rule_rrpcs2d : int -> int array array -> bool array -> int -> bool
module type Parameters =sig
..end
module Automaton: