def List.get

Base · base.bend:992

992def List.get(a, -A: Kind(a), xs: List<a, A>, n: Nat) -> Maybe<a, A>:
993  match xs n:
994    case Nil{} _:
995      None{}
996    case h <> t 0n:
997      Some{h}
998    case h <> t 1n+p:
999      List.get(a, A, t, p)