def walk.trail

emerging-ezhttp@0.21.0.0 · src/http.bend:1544

import Base

1544# the last chunk: ended once its trailer section has
1545def walk.trail(g: Nat, rest: String, ended: Bool) -> Walk:
1546  match ended:
1547    case True{}:
1548      Ended{}
1549    case False{}:
1550      Hold{1n+g, rest}