Plan.why.missing.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 560-566 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=560&end_line=566

import Base

# no reason when no name is at fault, and the fault's otherwise
def why.missing.at(none: Bool, reason: Unit -> String) -> String:
  match none:
    case True{}:
      ""
    case False{}:
      reason(Unit{})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit