169def cgIndex =
170 (lambda unrestricted values : (family StdList Nat) .
171 (lambda unrestricted p : Nat .
172 (eliminate
173 StdOption
174 (lambda unrestricted current : (family StdOption Nat) . Nat)
175 (stdListIndex Nat values p)
176 (branch StdNone . 0)
177 (branch StdSome value . value))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.