def and.then
import yaml-for-bend@0.1.1.0/re.bend as Reimport Base
72def and.then(hit: Bool, rest: Unit -> Bool) -> Bool:
73 match hit:
74 case True{}:
75 rest(Unit{})
76 case False{}:
77 False{}
import yaml-for-bend@0.1.1.0/re.bend as Reimport Base
72def and.then(hit: Bool, rest: Unit -> Bool) -> Bool:
73 match hit:
74 case True{}:
75 rest(Unit{})
76 case False{}:
77 False{}