sig val init_min_state_value : int val init_max_state_value : int val grain_probability : float val initializer_prng : Random.State.t val rule_prng : Random.State.t end