package coq

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