module type Parameters = sig .. end
sig
end
val rule_num : int
int
val initializer_prng : Random.State.t
Random.State.t