Module type Rule.Templates.Integer_Parameters

module type Integer_Parameters = sig .. end

val nb_states : int

val initializer_prng : Random.State.t