1948def greedyArgmaxSM86ByteVocabularyManifest : (family GreedyArgmaxSM86Manifest) =
1949 (app
1950 (lambda unrestricted expectedInstructions : Nat .
1951 (constructor
1952 GreedyArgmaxSM86Manifest
1953 GreedyArgmaxSM86ManifestValue
1954 greedyArgmaxSM86N256
1955 greedyArgmaxSM86N256
1956 zero
1957 expectedInstructions
1958 (naturalMultiply expectedInstructions greedyArgmaxSM86InstructionBytes)
1959 greedyArgmaxSM86Registers
1960 zero
1961 greedyArgmaxSM86GridX
1962 greedyArgmaxSM86N1
1963 greedyArgmaxSM86N256
1964 zero
1965 zero
1966 zero
1967 zero
1968 greedyArgmaxSM86N1
1969 greedyArgmaxSM86N1
1970 greedyArgmaxSM86HostLogitReads
1971 greedyArgmaxSM86HostFallbackOperations
1972 greedyArgmaxSM86ABIValue))
1973 (sm86ProgramCount greedyArgmaxSM86ByteVocabularyProgram))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.