282def sha256PaddingZeroCount =
283 (lambda unrestricted originalBytes : Nat .
284 (app
285 (lambda unrestricted markerExtent : Nat .
286 (app
287 (lambda unrestricted remainder : Nat .
288 (naturalSelect
289 (naturalLessOrEqual remainder sha256PaddingNaturalFiftySix)
290 (naturalSaturatingSubtract sha256PaddingNaturalFiftySix remainder)
291 (naturalSaturatingSubtract sha256PaddingNaturalOneHundredTwenty remainder)))
292 (naturalModuloUnchecked markerExtent sha256NaturalSixtyFour)))
293 (succ originalBytes)))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.