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 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 opADDINT31 : int
val opADDCINT31 : int
val opADDCARRYCINT31 : int
val opSUBINT31 : int
val opSUBCINT31 : int
val opSUBCARRYCINT31 : int
val opMULCINT31 : int
val opMULINT31 : int
val opDIV21INT31 : int
val opDIVINT31 : int
val opADDMULDIVINT31 : int
val opCOMPAREINT31 : int
val opHEAD0INT31 : int
val opTAIL0INT31 : int
val opISCONST : int
val opARECONST : int
val opCOMPINT31 : int
val opDECOMPINT31 : int
val opORINT31 : int
val opANDINT31 : int
val opXORINT31 : int
val opSTOP : int