package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

coq.inria.fr Edit opam file Versions (38)

Authors

  1. T
    The Coq development team, INRIA, CNRS, and contributors.

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.14.0.tar.gz
sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c

doc/coq-core.kernel/Vmopcodes/index.html

Module VmopcodesSource

Sourceval opACC0 : int
Sourceval opACC1 : int
Sourceval opACC2 : int
Sourceval opACC3 : int
Sourceval opACC4 : int
Sourceval opACC5 : int
Sourceval opACC6 : int
Sourceval opACC7 : int
Sourceval opACC : int
Sourceval opPUSH : int
Sourceval opPUSHACC1 : int
Sourceval opPUSHACC2 : int
Sourceval opPUSHACC3 : int
Sourceval opPUSHACC4 : int
Sourceval opPUSHACC5 : int
Sourceval opPUSHACC6 : int
Sourceval opPUSHACC7 : int
Sourceval opPUSHACC : int
Sourceval opPOP : int
Sourceval opENVACC0 : int
Sourceval opENVACC1 : int
Sourceval opENVACC2 : int
Sourceval opENVACC3 : int
Sourceval opENVACC : int
Sourceval opPUSHENVACC0 : int
Sourceval opPUSHENVACC1 : int
Sourceval opPUSHENVACC2 : int
Sourceval opPUSHENVACC3 : int
Sourceval opPUSHENVACC : int
Sourceval opPUSH_RETADDR : int
Sourceval opAPPLY : int
Sourceval opAPPLY1 : int
Sourceval opAPPLY2 : int
Sourceval opAPPLY3 : int
Sourceval opAPPLY4 : int
Sourceval opAPPTERM : int
Sourceval opAPPTERM1 : int
Sourceval opAPPTERM2 : int
Sourceval opAPPTERM3 : int
Sourceval opRETURN : int
Sourceval opRESTART : int
Sourceval opGRAB : int
Sourceval opGRABREC : int
Sourceval opCLOSURE : int
Sourceval opCLOSUREREC : int
Sourceval opCLOSURECOFIX : int
Sourceval opOFFSETCLOSURE0 : int
Sourceval opOFFSETCLOSURE1 : int
Sourceval opOFFSETCLOSURE : int
Sourceval opPUSHOFFSETCLOSURE0 : int
Sourceval opPUSHOFFSETCLOSURE1 : int
Sourceval opPUSHOFFSETCLOSURE : int
Sourceval opGETGLOBAL : int
Sourceval opPUSHGETGLOBAL : int
Sourceval opMAKEBLOCK : int
Sourceval opMAKEBLOCK1 : int
Sourceval opMAKEBLOCK2 : int
Sourceval opMAKEBLOCK3 : int
Sourceval opMAKEBLOCK4 : int
Sourceval opSWITCH : int
Sourceval opPUSHFIELDS : int
Sourceval opGETFIELD0 : int
Sourceval opGETFIELD1 : int
Sourceval opGETFIELD : int
Sourceval opSETFIELD : int
Sourceval opPROJ : int
Sourceval opENSURESTACKCAPACITY : int
Sourceval opCONST0 : int
Sourceval opCONST1 : int
Sourceval opCONST2 : int
Sourceval opCONST3 : int
Sourceval opCONSTINT : int
Sourceval opPUSHCONST0 : int
Sourceval opPUSHCONST1 : int
Sourceval opPUSHCONST2 : int
Sourceval opPUSHCONST3 : int
Sourceval opPUSHCONSTINT : int
Sourceval opACCUMULATE : int
Sourceval opMAKESWITCHBLOCK : int
Sourceval opMAKEACCU : int
Sourceval opBRANCH : int
Sourceval opCHECKADDINT63 : int
Sourceval opCHECKADDCINT63 : int
Sourceval opCHECKADDCARRYCINT63 : int
Sourceval opCHECKSUBINT63 : int
Sourceval opCHECKSUBCINT63 : int
Sourceval opCHECKSUBCARRYCINT63 : int
Sourceval opCHECKMULINT63 : int
Sourceval opCHECKMULCINT63 : int
Sourceval opCHECKDIVINT63 : int
Sourceval opCHECKMODINT63 : int
Sourceval opCHECKDIVSINT63 : int
Sourceval opCHECKMODSINT63 : int
Sourceval opCHECKDIVEUCLINT63 : int
Sourceval opCHECKDIV21INT63 : int
Sourceval opCHECKLXORINT63 : int
Sourceval opCHECKLORINT63 : int
Sourceval opCHECKLANDINT63 : int
Sourceval opCHECKLSLINT63 : int
Sourceval opCHECKLSRINT63 : int
Sourceval opCHECKASRINT63 : int
Sourceval opCHECKADDMULDIVINT63 : int
Sourceval opCHECKEQINT63 : int
Sourceval opCHECKLTINT63 : int
Sourceval opCHECKLEINT63 : int
Sourceval opCHECKLTSINT63 : int
Sourceval opCHECKLESINT63 : int
Sourceval opCHECKCOMPAREINT63 : int
Sourceval opCHECKCOMPARESINT63 : int
Sourceval opCHECKHEAD0INT63 : int
Sourceval opCHECKTAIL0INT63 : int
Sourceval opCHECKOPPFLOAT : int
Sourceval opCHECKABSFLOAT : int
Sourceval opCHECKEQFLOAT : int
Sourceval opCHECKLTFLOAT : int
Sourceval opCHECKLEFLOAT : int
Sourceval opCHECKCOMPAREFLOAT : int
Sourceval opCHECKCLASSIFYFLOAT : int
Sourceval opCHECKADDFLOAT : int
Sourceval opCHECKSUBFLOAT : int
Sourceval opCHECKMULFLOAT : int
Sourceval opCHECKDIVFLOAT : int
Sourceval opCHECKSQRTFLOAT : int
Sourceval opCHECKFLOATOFINT63 : int
Sourceval opCHECKFLOATNORMFRMANTISSA : int
Sourceval opCHECKFRSHIFTEXP : int
Sourceval opCHECKLDSHIFTEXP : int
Sourceval opCHECKNEXTUPFLOAT : int
Sourceval opCHECKNEXTDOWNFLOAT : int
Sourceval opCHECKNEXTUPFLOATINPLACE : int
Sourceval opCHECKNEXTDOWNFLOATINPLACE : int
Sourceval opCHECKCAMLCALL2_1 : int
Sourceval opCHECKCAMLCALL1 : int
Sourceval opCHECKCAMLCALL2 : int
Sourceval opCHECKCAMLCALL3_1 : int
Sourceval opSTOP : int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct