nat_align_up

vstd_extra::arithmetic

Function nat_align_up 

Source 
pub open spec fn nat_align_up(x: nat, align: nat) -> nat
Expand description
recommends
align > 0,
{ if x % align == 0 { x } else { nat_align_down(x, align) + align } }