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