Searched refs:range_starting_from_zero (Results 1 – 1 of 1) sorted by relevance
139 let range_starting_from_zero = 0..(range.end - range.start); in rand_range() localVariable141 let s: u32 = range_starting_from_zero.end; in rand_range()248 let range_starting_from_zero = 0..(range.end - range.start); in rand_range() localVariable250 let s: u64 = range_starting_from_zero.end; in rand_range()