def wf.then

emerging-eztoml@0.9.0.0 · main.bend:6108

import Base

6108# the rest when this part holds, and False otherwise
6109def wf.then(ok: Bool, more: Unit -> Bool) -> Bool:
6110  match ok:
6111    case True{}:
6112      more(Unit{})
6113    case False{}:
6114      False{}