sig val rule_num : int val initializer_prng : Random.State.t end