def resolves
import ezx@1.11.0.0/src/add/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/up.bend as Up
688# whether any question does
689def resolves(as: List<&2, Up.Ask>) -> Bool:
690 match as:
691 case []:
692 False{}
693 case h <> t:
694 +rest = resolves(t)
695 Bool.or(resolves.one(h), rest)
Uses (5)
Used by (0)
No other definition uses this definition.