Searched defs:old_seed (Results 1 – 3 of 3) sorted by relevance
29 old_seed: RngSeed, field53 let old_seed = rng.replace_seed(rng_seed); in enter_runtime() localVariable
54 let old_seed = RngSeed::from_pair(self.one, self.two); in replace_seed() localVariable
124 old_seed=None, argument