def str.place.here

emerging-ezjson@1.3.0.0 · src/pull.bend:323

import Base

323# a finished string whose rest is the suffix the stepper is on
324def str.place.here(piece: Piece, stack: List<&2, Frame>, goal: Goal) -> St:
325  match stack:
326    case Con{FObj{SKey{}, fresh}, frames}:
327      place.key.here(str.ev(piece, True{}), frames, goal)
328    case other:
329      str.val.here(str.ev(piece, False{}), stack, goal)