144def pointwiseEvaluateWith =
145 (lambda unrestricted operations : (family Float32Operations) .
146 (lambda erased inputs : Nat .
147 (lambda unrestricted expression : (family PointwiseExpression StdU32 inputs) .
148 (lambda unrestricted values : (pi unrestricted i : (family StdFin inputs) . Nat) .
149 (pointwiseFold
150 StdU32
151 Nat
152 inputs
153 (pointwiseUnaryWith operations)
154 (pointwiseBinaryWith operations)
155 stdU32ToNatural
156 expression
157 values)))))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.