Searched defs:model_impl (Results 1 – 2 of 2) 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