def lays.named

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

import Base

1096# whether every tree a list of effects lays is named by its manifest
1097def lays.named(es: List<&2, Effect>) -> Bool:
1098  match es:
1099    case []:
1100      True{}
1101    case h <> t:
1102      +rest = lays.named(t)
1103      Bool.and(lays.one(h), rest)