def all.step
import emerging-ezhttp@0.21.0.0/src/form.bend as Formimport Base
61# a check that holds when this does and the rest does: a false ends it
62def all.step(ok: Bool, rest: Unit -> Bool) -> Bool:
63 match ok:
64 case False{}:
65 False{}
66 case True{}:
67 rest(Unit{})