Searched refs:TakeRandom (Results 1 – 1 of 1) sorted by relevance
34 TakeRandom(usize), // key enumerator52 1 => prop::num::usize::ANY.prop_map(ActionKind::TakeRandom), in action_kind_strategy()152 ActionKind::TakeRandom(key) => { in apply_action()