~/jendhub

def put.in

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

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base

1002# what a list of effects leaves at a path
1003def put.in(es: List<&2, Effect>, +path: String) -> Wrote:
1004  match es:
1005    case []:
1006      Kept{}
1007    case e <> t:
1008      put.one(e, path, put.in(t, path))

Uses (5)

Used by (1)