def lays.locked

ezx@1.11.0.0 · src/fetch/plan.bend:919

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

919# whether every tree a list of effects lays is the one the lock records
920def lays.locked(+ss: List<&2, T.Sect>, es: List<&2, P.Effect>) -> Bool:
921  match es:
922    case []:
923      True{}
924    case h <> t:
925      +rest = lays.locked(ss, t)
926      Bool.and(lays.one(ss, h), rest)