def weighed.lay
ezx@1.11.0.0 · src/fetch/plan.bend:968
import ezx@1.11.0.0/src/fetch/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/toml/toml.bend as T
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/plan.bend as P
968
969
970def weighed.lay(
971 +ss: List<&2, T.Sect>,
972 +rs: List<&2, F.Reply>,
973 +here: String,
974 effect: P.Effect
975) -> Bool:
976 match effect:
977 case P.Lay{_place, hash, _fs}:
978 String.is_empty(weighed(ss, rs, here, hash))
979 case _:
980 True{}