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 opPUSHACC0 : 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 opENVACC1 : int
val opENVACC2 : int
val opENVACC3 : int
val opENVACC4 : int
val opENVACC : int
val opPUSHENVACC1 : int
val opPUSHENVACC2 : int
val opPUSHENVACC3 : int
val opPUSHENVACC4 : 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 opOFFSETCLOSUREM2 : int
val opOFFSETCLOSURE0 : int
val opOFFSETCLOSURE2 : int
val opOFFSETCLOSURE : int
val opPUSHOFFSETCLOSUREM2 : int
val opPUSHOFFSETCLOSURE0 : int
val opPUSHOFFSETCLOSURE2 : 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 opSETFIELD0 : int
val opSETFIELD1 : 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 opMAKEPROD : int
val opBRANCH : int
val opCHECKADDINT63 : int
val opADDINT63 : int
val opCHECKADDCINT63 : int
val opCHECKADDCARRYCINT63 : int
val opCHECKSUBINT63 : int
val opSUBINT63 : int
val opCHECKSUBCINT63 : int
val opCHECKSUBCARRYCINT63 : int
val opCHECKMULINT63 : int
val opCHECKMULCINT63 : int
val opCHECKDIVINT63 : int
val opCHECKMODINT63 : int
val opCHECKDIVEUCLINT63 : int
val opCHECKDIV21INT63 : int
val opCHECKLXORINT63 : int
val opCHECKLORINT63 : int
val opCHECKLANDINT63 : int
val opCHECKLSLINT63 : int
val opCHECKLSRINT63 : int
val opCHECKADDMULDIVINT63 : int
val opCHECKLSLINT63CONST1 : int
val opCHECKLSRINT63CONST1 : int
val opCHECKEQINT63 : int
val opCHECKLTINT63 : int
val opLTINT63 : int
val opCHECKLEINT63 : int
val opLEINT63 : int
val opCHECKCOMPAREINT63 : int
val opCHECKHEAD0INT63 : int
val opCHECKTAIL0INT63 : int
val opISINT : int
val opAREINT2 : 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