467def greedyArgmaxSM86ReceiptValue =
468 (constructor
469 GreedyArgmaxSM86OutputReceipt
470 GreedyArgmaxSM86OutputReceiptValue
471 zero
472 greedyArgmaxSM86N4
473 greedyArgmaxSM86N4
474 greedyArgmaxSM86N1
475 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.