1186def exactCrossEntropySM86ManifestFor =
1187 (lambda unrestricted variant : (family ExactCrossEntropySM86Variant) .
1188 (eliminate
1189 ExactCrossEntropySM86Variant
1190 (lambda unrestricted current : (family ExactCrossEntropySM86Variant) .
1191 (family ExactCrossEntropySM86Manifest))
1192 variant
1193 (branch
1194 ExactCrossEntropyRows
1195 .
1196 (constructor
1197 ExactCrossEntropySM86Manifest
1198 ExactCrossEntropySM86ManifestValue
1199 variant
1200 exactCrossEntropySM86N427
1201 (naturalMultiply exactCrossEntropySM86N427 exactCrossEntropySM86N16)
1202 exactCrossEntropySM86N32
1203 exactCrossEntropySM86N128
1204 exactCrossEntropySM86N6144
1205 exactCrossEntropySM86N256
1206 exactCrossEntropySM86ABI
1207 (exactCrossEntropySM86ExtentsFor variant)
1208 (byte-to-nat (byte 107))
1209 (byte-to-nat (byte 140))
1210 (naturalAdd exactCrossEntropySM86N256 exactCrossEntropySM86N128)
1211 (naturalAdd exactCrossEntropySM86N256 (byte-to-nat (byte 162)))
1212 exactCrossEntropySM86N6144
1213 exactCrossEntropySM86N12288
1214 exactCrossEntropySM86N256
1215 exactCrossEntropySM86N48
1216 zero))
1217 (branch
1218 ReduceExactRowLosses
1219 .
1220 (constructor
1221 ExactCrossEntropySM86Manifest
1222 ExactCrossEntropySM86ManifestValue
1223 variant
1224 exactCrossEntropySM86N43
1225 (naturalMultiply exactCrossEntropySM86N43 exactCrossEntropySM86N16)
1226 exactCrossEntropySM86N24
1227 exactCrossEntropySM86N128
1228 exactCrossEntropySM86N6
1229 exactCrossEntropySM86N1024
1230 exactCrossEntropySM86ABI
1231 (exactCrossEntropySM86ExtentsFor variant)
1232 (byte-to-nat (byte 8))
1233 (byte-to-nat (byte 37))
1234 zero
1235 zero
1236 exactCrossEntropySM86N6144
1237 exactCrossEntropySM86N12288
1238 exactCrossEntropySM86N256
1239 exactCrossEntropySM86N48
1240 zero))
1241 (branch
1242 FinalizeExactMeanLoss
1243 .
1244 (constructor
1245 ExactCrossEntropySM86Manifest
1246 ExactCrossEntropySM86ManifestValue
1247 variant
1248 exactCrossEntropySM86N47
1249 (naturalMultiply exactCrossEntropySM86N47 exactCrossEntropySM86N16)
1250 exactCrossEntropySM86N24
1251 exactCrossEntropySM86N128
1252 (succ zero)
1253 exactCrossEntropySM86N64
1254 exactCrossEntropySM86ABI
1255 (exactCrossEntropySM86ExtentsFor variant)
1256 (byte-to-nat (byte 9))
1257 (byte-to-nat (byte 40))
1258 zero
1259 zero
1260 exactCrossEntropySM86N6144
1261 exactCrossEntropySM86N12288
1262 exactCrossEntropySM86N256
1263 exactCrossEntropySM86N48
1264 zero))))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.