def refuses.doc

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

import Base

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