Searched defs:model_impl (Results 1 – 4 of 4) sorted by relevance
768 fn model_impl(n: usize, align: NonZeroUsize) -> usize { in prove_round_down_to_next_multiple_of_alignment() function788 fn model_impl(len: usize, align: NonZeroUsize) -> usize { in prove_padding_needed_for() function
1034 fn model_impl(n: usize, align: NonZeroUsize) -> usize { in prove_round_down_to_next_multiple_of_alignment() function1054 fn model_impl(len: usize, align: NonZeroUsize) -> usize { in prove_padding_needed_for() function