def why.then

import ezx@1.11.0.0/src/lock/plan.bend as Plan

import Base

557def why.then(+why: String, rest: Unit -> String) -> String:
558  why.then.at(String.is_empty(why), why, rest)

Uses (4)