def why.then.at

ezx@1.11.0.0 · src/lock/plan.bend:549

import Base

549# a reason, or when there is none the next one, looked at only then
550def why.then.at(none: Bool, why: String, rest: Unit -> String) -> String:
551  match none:
552    case True{}:
553      rest(Unit{})
554    case False{}:
555      why