sig val prng : Random.State.t val destroy_probability : float end