Plan.refuses.doc: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 948-954 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=948&end_line=954

import Base

# whether what was decided is a refusal
def refuses.doc(doc: Doc) -> Bool:
  match doc:
    case Doc{_text}:
      False{}
    case Stop{_why}:
      True{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Doc