def at.go

bend-kit-json@0.7.0.0 · json.bend:911

import bend-kit-json@0.7.0.0/json.bend as Json

import Base

911def at.go(xs: List<&1, Val>, n: Nat) -> Maybe<&1, Val>:
912  match xs:
913    case Nil{}:
914      None{}
915    case Con{v, t}:
916      match n:
917        case 0n:
918          Some{v}
919        case 1n+p:
920          at.go(t, p)

Uses (4)

Used by (1)

bend-kit-json@0.7.0.0/json:at