941def cgTableAt =
942 (lambda unrestricted values : (family StdList Nat) .
943 (lambda unrestricted p : Nat .
944 (eliminate
945 StdOption
946 (lambda unrestricted current : (family StdOption Nat) . Nat)
947 (stdListIndex Nat values p)
948 (branch StdNone . float32NotRounded)
949 (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.