460def greedyArgmaxSM86ReceiptValue =
461 (constructor
462 GreedyArgmaxSM86OutputReceipt
463 GreedyArgmaxSM86OutputReceiptValue
464 zero
465 greedyArgmaxSM86N4
466 greedyArgmaxSM86N4
467 greedyArgmaxSM86N1
468 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.