def depth.step

ezx@1.11.0.0 · src/share/sha.bend:23

import Base

23# one more bit of depth when the capacity does not yet hold the words. The
24# rest is a thunk, so the stop does not build the next depth.
25def depth.step(more: Bool, acc: Nat, rest: Unit -> Nat) -> Nat:
26  match more:
27    case False{}:
28      acc
29    case True{}:
30      rest(Unit{})