package coq-core
The Coq Proof Assistant -- Core Binaries and Tools
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.20.0.tar.gz
md5=66e57ea55275903bef74d5bf36fbe0f1
sha512=1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b
doc/src/coq-core.kernel/vmopcodes.ml.html
Source file vmopcodes.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283
(* DO NOT EDIT: automatically generated by kernel/genOpcodeFiles.ml *) let opACC0 = 0 let opACC1 = 1 let opACC2 = 2 let opACC3 = 3 let opACC4 = 4 let opACC5 = 5 let opACC6 = 6 let opACC7 = 7 let opACC = 8 let opPUSH = 9 let opPUSHACC1 = 10 let opPUSHACC2 = 11 let opPUSHACC3 = 12 let opPUSHACC4 = 13 let opPUSHACC5 = 14 let opPUSHACC6 = 15 let opPUSHACC7 = 16 let opPUSHACC = 17 let opPUSHACCMANY = 18 let opPOP = 19 let opENVACC0 = 20 let opENVACC1 = 21 let opENVACC2 = 22 let opENVACC3 = 23 let opENVACC = 24 let opPUSHENVACC0 = 25 let opPUSHENVACC1 = 26 let opPUSHENVACC2 = 27 let opPUSHENVACC3 = 28 let opPUSHENVACC = 29 let opPUSHENVACCMANY = 30 let opPUSH_RETADDR = 31 let opAPPLY = 32 let opAPPLY1 = 33 let opAPPLY2 = 34 let opAPPLY3 = 35 let opAPPLY4 = 36 let opAPPTERM = 37 let opAPPTERM1 = 38 let opAPPTERM2 = 39 let opAPPTERM3 = 40 let opRETURN = 41 let opRESTART = 42 let opGRAB = 43 let opGRABREC = 44 let opCLOSURE = 45 let opCLOSUREREC = 46 let opCLOSURECOFIX = 47 let opOFFSETCLOSURE0 = 48 let opOFFSETCLOSURE1 = 49 let opOFFSETCLOSURE = 50 let opPUSHOFFSETCLOSURE0 = 51 let opPUSHOFFSETCLOSURE1 = 52 let opPUSHOFFSETCLOSURE = 53 let opGETGLOBAL = 54 let opPUSHGETGLOBAL = 55 let opMAKEBLOCK = 56 let opMAKEBLOCK1 = 57 let opMAKEBLOCK2 = 58 let opMAKEBLOCK3 = 59 let opMAKEBLOCK4 = 60 let opSWITCH = 61 let opPUSHFIELDS = 62 let opGETFIELD0 = 63 let opGETFIELD1 = 64 let opGETFIELD = 65 let opSETFIELD = 66 let opPROJ = 67 let opENSURESTACKCAPACITY = 68 let opCONST0 = 69 let opCONST1 = 70 let opCONST2 = 71 let opCONST3 = 72 let opCONSTINT = 73 let opPUSHCONST0 = 74 let opPUSHCONST1 = 75 let opPUSHCONST2 = 76 let opPUSHCONST3 = 77 let opPUSHCONSTINT = 78 let opACCUMULATE = 79 let opMAKESWITCHBLOCK = 80 let opMAKEACCU = 81 let opSUBSTINSTANCE = 82 let opBRANCH = 83 let opCHECKADDINT63 = 84 let opCHECKADDCINT63 = 85 let opCHECKADDCARRYCINT63 = 86 let opCHECKSUBINT63 = 87 let opCHECKSUBCINT63 = 88 let opCHECKSUBCARRYCINT63 = 89 let opCHECKMULINT63 = 90 let opCHECKMULCINT63 = 91 let opCHECKDIVINT63 = 92 let opCHECKMODINT63 = 93 let opCHECKDIVSINT63 = 94 let opCHECKMODSINT63 = 95 let opCHECKDIVEUCLINT63 = 96 let opCHECKDIV21INT63 = 97 let opCHECKLXORINT63 = 98 let opCHECKLORINT63 = 99 let opCHECKLANDINT63 = 100 let opCHECKLSLINT63 = 101 let opCHECKLSRINT63 = 102 let opCHECKASRINT63 = 103 let opCHECKADDMULDIVINT63 = 104 let opCHECKEQINT63 = 105 let opCHECKLTINT63 = 106 let opCHECKLEINT63 = 107 let opCHECKLTSINT63 = 108 let opCHECKLESINT63 = 109 let opCHECKCOMPAREINT63 = 110 let opCHECKCOMPARESINT63 = 111 let opCHECKHEAD0INT63 = 112 let opCHECKTAIL0INT63 = 113 let opCHECKOPPFLOAT = 114 let opCHECKABSFLOAT = 115 let opCHECKEQFLOAT = 116 let opCHECKLTFLOAT = 117 let opCHECKLEFLOAT = 118 let opCHECKCOMPAREFLOAT = 119 let opCHECKEQUALFLOAT = 120 let opCHECKCLASSIFYFLOAT = 121 let opCHECKADDFLOAT = 122 let opCHECKSUBFLOAT = 123 let opCHECKMULFLOAT = 124 let opCHECKDIVFLOAT = 125 let opCHECKSQRTFLOAT = 126 let opCHECKFLOATOFINT63 = 127 let opCHECKFLOATNORMFRMANTISSA = 128 let opCHECKFRSHIFTEXP = 129 let opCHECKLDSHIFTEXP = 130 let opCHECKNEXTUPFLOAT = 131 let opCHECKNEXTDOWNFLOAT = 132 let opCHECKNEXTUPFLOATINPLACE = 133 let opCHECKNEXTDOWNFLOATINPLACE = 134 let opCHECKCAMLCALL2_1 = 135 let opCHECKCAMLCALL1 = 136 let opCHECKCAMLCALL2 = 137 let opCHECKCAMLCALL3 = 138 let opCHECKCAMLCALL3_1 = 139 let opSTOP = 140
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>