~/jendhub

def later_i_path

bend-schema-lib@0.4.1.0 · core.bend:735

import bend-schema-lib@0.4.1.0/core.bend as Core
import Base

735def later_i_path(p: List<&2, Step>) -> List<&2, Step>:
736  match p:
737    case AtIndex{j} <> q:
738      AtIndex{1n+j} <> q
739    case BoundAt{j, key} <> q:
740      BoundAt{1n+j, key} <> q
741    case q:
742      q

Uses (3)

Used by (1)