Form.all.step: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/form.bend as Form Lines 61-67 of emerging-ezhttp@0.21.0.0/src/form.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/form.bend&start_line=61&end_line=67 import Base # a check that holds when this does and the rest does: a false ends it def all.step(ok: Bool, rest: Unit -> Bool) -> Bool: match ok: case False{}: False{} case True{}: rest(Unit{}) Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit