def asks.from

ezx@1.11.0.0 · src/add/plan.bend:711

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

711# whether every question names this source
712def asks.from(as: List<&2, Up.Ask>, +from: String) -> Bool:
713  match as:
714    case []:
715      True{}
716    case h <> t:
717      +rest = asks.from(t, from)
718      Bool.and(String.eq(ask.url(h), from), rest)