190def nativeCheckpointAlign =
191 (lambda unrestricted n : Nat .
192 (naturalMultiply
193 digestWorkAlignment
194 (naturalDivideUnchecked
195 (naturalAdd n (naturalSaturatingSubtract digestWorkAlignment 1))
196 digestWorkAlignment)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.