def why.missing.at
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
560# no reason when no name is at fault, and the fault's otherwise
561def why.missing.at(none: Bool, reason: Unit -> String) -> String:
562 match none:
563 case True{}:
564 ""
565 case False{}:
566 reason(Unit{})