package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.16.0.tar.gz
sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587
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
(* 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 opPOP = 18 let opENVACC0 = 19 let opENVACC1 = 20 let opENVACC2 = 21 let opENVACC3 = 22 let opENVACC = 23 let opPUSHENVACC0 = 24 let opPUSHENVACC1 = 25 let opPUSHENVACC2 = 26 let opPUSHENVACC3 = 27 let opPUSHENVACC = 28 let opPUSH_RETADDR = 29 let opAPPLY = 30 let opAPPLY1 = 31 let opAPPLY2 = 32 let opAPPLY3 = 33 let opAPPLY4 = 34 let opAPPTERM = 35 let opAPPTERM1 = 36 let opAPPTERM2 = 37 let opAPPTERM3 = 38 let opRETURN = 39 let opRESTART = 40 let opGRAB = 41 let opGRABREC = 42 let opCLOSURE = 43 let opCLOSUREREC = 44 let opCLOSURECOFIX = 45 let opOFFSETCLOSURE0 = 46 let opOFFSETCLOSURE1 = 47 let opOFFSETCLOSURE = 48 let opPUSHOFFSETCLOSURE0 = 49 let opPUSHOFFSETCLOSURE1 = 50 let opPUSHOFFSETCLOSURE = 51 let opGETGLOBAL = 52 let opPUSHGETGLOBAL = 53 let opMAKEBLOCK = 54 let opMAKEBLOCK1 = 55 let opMAKEBLOCK2 = 56 let opMAKEBLOCK3 = 57 let opMAKEBLOCK4 = 58 let opSWITCH = 59 let opPUSHFIELDS = 60 let opGETFIELD0 = 61 let opGETFIELD1 = 62 let opGETFIELD = 63 let opSETFIELD = 64 let opPROJ = 65 let opENSURESTACKCAPACITY = 66 let opCONST0 = 67 let opCONST1 = 68 let opCONST2 = 69 let opCONST3 = 70 let opCONSTINT = 71 let opPUSHCONST0 = 72 let opPUSHCONST1 = 73 let opPUSHCONST2 = 74 let opPUSHCONST3 = 75 let opPUSHCONSTINT = 76 let opACCUMULATE = 77 let opMAKESWITCHBLOCK = 78 let opMAKEACCU = 79 let opBRANCH = 80 let opCHECKADDINT63 = 81 let opCHECKADDCINT63 = 82 let opCHECKADDCARRYCINT63 = 83 let opCHECKSUBINT63 = 84 let opCHECKSUBCINT63 = 85 let opCHECKSUBCARRYCINT63 = 86 let opCHECKMULINT63 = 87 let opCHECKMULCINT63 = 88 let opCHECKDIVINT63 = 89 let opCHECKMODINT63 = 90 let opCHECKDIVSINT63 = 91 let opCHECKMODSINT63 = 92 let opCHECKDIVEUCLINT63 = 93 let opCHECKDIV21INT63 = 94 let opCHECKLXORINT63 = 95 let opCHECKLORINT63 = 96 let opCHECKLANDINT63 = 97 let opCHECKLSLINT63 = 98 let opCHECKLSRINT63 = 99 let opCHECKASRINT63 = 100 let opCHECKADDMULDIVINT63 = 101 let opCHECKEQINT63 = 102 let opCHECKLTINT63 = 103 let opCHECKLEINT63 = 104 let opCHECKLTSINT63 = 105 let opCHECKLESINT63 = 106 let opCHECKCOMPAREINT63 = 107 let opCHECKCOMPARESINT63 = 108 let opCHECKHEAD0INT63 = 109 let opCHECKTAIL0INT63 = 110 let opCHECKOPPFLOAT = 111 let opCHECKABSFLOAT = 112 let opCHECKEQFLOAT = 113 let opCHECKLTFLOAT = 114 let opCHECKLEFLOAT = 115 let opCHECKCOMPAREFLOAT = 116 let opCHECKEQUALFLOAT = 117 let opCHECKCLASSIFYFLOAT = 118 let opCHECKADDFLOAT = 119 let opCHECKSUBFLOAT = 120 let opCHECKMULFLOAT = 121 let opCHECKDIVFLOAT = 122 let opCHECKSQRTFLOAT = 123 let opCHECKFLOATOFINT63 = 124 let opCHECKFLOATNORMFRMANTISSA = 125 let opCHECKFRSHIFTEXP = 126 let opCHECKLDSHIFTEXP = 127 let opCHECKNEXTUPFLOAT = 128 let opCHECKNEXTDOWNFLOAT = 129 let opCHECKNEXTUPFLOATINPLACE = 130 let opCHECKNEXTDOWNFLOATINPLACE = 131 let opCHECKCAMLCALL2_1 = 132 let opCHECKCAMLCALL1 = 133 let opCHECKCAMLCALL2 = 134 let opCHECKCAMLCALL3_1 = 135 let opSTOP = 136
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>