def refuses

ezx@1.11.0.0 · src/relock/relock.bend:43

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

43# whether a plan ends in a refusal
44def refuses(pl: P.Plan) -> Bool:
45  P.Plan{_es, o} = pl
46  match o:
47    case P.Success{}:
48      False{}
49    case P.Refused{_why}:
50      True{}