Module Rule.Templates

module Templates: sig .. end

Factorization of code for Cellular Automata with usual types.

module type Boolean_Parameters = sig .. end

module Boolean_state: functor (Params : Boolean_Parameters) -> sig .. end

module type Integer_Parameters = sig .. end

module Integer_state: functor (Params : Integer_Parameters) -> sig .. end