~/jendhub

def later_l_path

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

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

718# An error found further along a list is one element further: its first
719# step, if it counts elements, counts one more. A plain list's steps are
720# AtIndex; a bounded list's are AtIndex and BoundAt.
721def later_l_path(p: List<&2, Step>) -> List<&2, Step>:
722  match p:
723    case AtIndex{j} <> q:
724      AtIndex{1n+j} <> q
725    case q:
726      q

Uses (3)

Used by (1)