Searched defs:default_dice (Results 1 – 1 of 1) sorted by relevance
134 let default_dice = make_explicit_owned_dice(/*Security version in a node */ 5); in new() localVariable152 let default_dice = make_explicit_owned_dice(/*Security version in a node */ 5); in with_expected_sk_identity() localVariable