NF weak partition development: WPPCompactSourceSyntax.

Compact constructors added by the repaired WPP endpoint.

def NFChoice.Compiler.CompactSourceSyntax.synWiso (H R S A B : SemanticCore.Class) : SemanticCore.Wff

Compact nominal syntax for the upstream wiso operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCpprod (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cpprod operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCcross : SemanticCore.Class

Compact nominal syntax for the upstream ccross operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCdomfn : SemanticCore.Class

Compact nominal syntax for the upstream cdomfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCranfn : SemanticCore.Class

Compact nominal syntax for the upstream cranfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCmuc : SemanticCore.Class

Compact nominal syntax for the upstream cmuc operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfrec (F I : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfrec operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synWwpp : SemanticCore.Wff

Compact nominal syntax for the upstream wwpp operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCqkrel (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cqkrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdmem : SemanticCore.Class

Compact nominal syntax for the upstream cfdmem operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdmem = NFChoice.Compiler.CompactSourceSyntax.synCcnvk (NFChoice.Compiler.CompactSourceSyntax.synCsik NFChoice.Compiler.CompactSourceSyntax.synCssetk)

def NFChoice.Compiler.CompactSourceSyntax.synCfdprj0 : SemanticCore.Class

Compact nominal syntax for the upstream cfdprj0 operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdprj0 = NFChoice.Compiler.CompactSourceSyntax.synCins3k NFChoice.Compiler.CompactSourceSyntax.synCidk

def NFChoice.Compiler.CompactSourceSyntax.synCfdprj1 : SemanticCore.Class

Compact nominal syntax for the upstream cfdprj1 operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdprj1 = NFChoice.Compiler.CompactSourceSyntax.synCins2k NFChoice.Compiler.CompactSourceSyntax.synCidk

def NFChoice.Compiler.CompactSourceSyntax.synCfddom (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfddom operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfde0 (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfde0 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfde1 (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfde1 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdsep (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdsep operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdlift (R : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdlift operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdlift R = NFChoice.Compiler.CompactSourceSyntax.synCsik (NFChoice.Compiler.CompactSourceSyntax.synCqkrel R)

def NFChoice.Compiler.CompactSourceSyntax.synCfdnonmin (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdnonmin operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdminsep (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdminsep operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCsep2 (A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream csep2 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCkqrel (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream ckqrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdminvalp (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdminvalp operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdminq (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdminq operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdminq R A B = NFChoice.Compiler.CompactSourceSyntax.synCkqrel (NFChoice.Compiler.CompactSourceSyntax.synCfdminsep R A B)

def NFChoice.Compiler.CompactSourceSyntax.synCfdpivmap2 (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdpivmap2 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdpivrange2 (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdpivrange2 operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCfdpivrange2 R A B = NFChoice.Compiler.CompactSourceSyntax.synCrn (NFChoice.Compiler.CompactSourceSyntax.synCfdpivmap2 R A B)

def NFChoice.Compiler.CompactSourceSyntax.synCfpiv (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfpiv operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdif (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdif operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdrow (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdrow operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdcode (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdcode operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdrowrel (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdrowrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdrowfib (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdrowfib operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdcodemap2 (R A B C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdcodemap2 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdpointrel (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdpointrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdglobalrowmap (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdglobalrowmap operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdcolcodemap (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdcolcodemap operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwcodes (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwcodes operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwiso (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwiso operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwrels : SemanticCore.Class

Compact nominal syntax for the upstream chwrels operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwbij : SemanticCore.Class

Compact nominal syntax for the upstream chwbij operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwtrn : SemanticCore.Class

Compact nominal syntax for the upstream chwtrn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwgen : SemanticCore.Class

Compact nominal syntax for the upstream chwgen operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwcn (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwcn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwniso (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwniso operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnord (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnord operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncard (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chncard operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synChncard A = NFChoice.Compiler.CompactSourceSyntax.synCnc (NFChoice.Compiler.CompactSourceSyntax.synChnord A)

def NFChoice.Compiler.CompactSourceSyntax.synChwbases (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwbases operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChwcards (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chwcards operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwcutcode (R D C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwcutcode operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwcutmap (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwcutmap operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnqmap1 (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnqmap1 operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClntp : SemanticCore.Class

Compact nominal syntax for the upstream clntp operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClntpc (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clntpc operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnker (R : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clnker operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synClnker R = NFChoice.Compiler.CompactSourceSyntax.synCin R (NFChoice.Compiler.CompactSourceSyntax.synCcnv R)

def NFChoice.Compiler.CompactSourceSyntax.synClnquo (R A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clnquo operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synClnquo R A = NFChoice.Compiler.CompactSourceSyntax.synCqs A (NFChoice.Compiler.CompactSourceSyntax.synClnker R)

def NFChoice.Compiler.CompactSourceSyntax.synCwpphit (F I C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpphit operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwsegfn (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwsegfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwcodefn (R : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwcodefn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwcutfn (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwcutfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnwcutrel (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnwcutrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnqrel (R : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clnqrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnqord (R C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clnqord operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwc (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream clnpwc operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfrecteq (F G I : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfrecteq operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnqinc (D A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnqinc operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClndifop : SemanticCore.Class

Compact nominal syntax for the upstream clndifop operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwasymfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwasymfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCfdord (R A B : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cfdord operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCtcnn : SemanticCore.Class

Compact nominal syntax for the upstream ctcnn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCpwpull (F R : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cpwpull operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwkerfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwkerfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClninterop : SemanticCore.Class

Compact nominal syntax for the upstream clninterop operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnimagecrossfn : SemanticCore.Class

Compact nominal syntax for the upstream clnimagecrossfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnimageresfn : SemanticCore.Class

Compact nominal syntax for the upstream clnimageresfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnimageop : SemanticCore.Class

Compact nominal syntax for the upstream clnimageop operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwcnvkerfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwcnvkerfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwclasspairfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwclasspairfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwclassfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwclassfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwpw1secondfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwpw1secondfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwquoinputfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwquoinputfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwquofn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwquofn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpairraisefn : SemanticCore.Class

Compact nominal syntax for the upstream clnpairraisefn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnsifn : SemanticCore.Class

Compact nominal syntax for the upstream clnsifn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synClnpwsirelfn : SemanticCore.Class

Compact nominal syntax for the upstream clnpwsirelfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppreach (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppreach operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppcand (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppcand operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppredfam (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppredfam operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppostcomp (F : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppostcomp operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppupperpreop (C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppupperpreop operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppowlayerseq (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppowlayerseq operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphitfam (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpphitfam operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppredmemrel (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppredmemrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphitmemrel (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpphitmemrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppreachincb (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppreachincb operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppimageat (D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppimageat operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppowateq (F D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppowateq operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppprecomp (F : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppprecomp operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppowcommeq (F : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwpppowcommeq operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwecutiso (R D S E : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwecutiso operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwecutisogen (R D S E : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwecutisogen operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwecutcardfn (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwecutcardfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwecutcardfactor (R D : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwecutcardfactor operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppgamma (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppgamma operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppcardtfn : SemanticCore.Class

Compact nominal syntax for the upstream cwppcardtfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppcardt2fn : SemanticCore.Class

Compact nominal syntax for the upstream cwppcardt2fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnbaseresfn (F : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnbaseresfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodetrnfn (F : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chncodetrnfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppcardt4fn : SemanticCore.Class

Compact nominal syntax for the upstream cwppcardt4fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppowsetfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpppowsetfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphwcnsetfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphwcnsetfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphwgendomfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphwgendomfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphwgencnvfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphwgencnvfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphwnisosetfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphwnisosetfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphnpairfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphnpairfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpphninputfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpphninputfn operator.

Equations

• NFChoice.Compiler.CompactSourceSyntax.synCwpphninputfn = NFChoice.Compiler.CompactSourceSyntax.synCsi NFChoice.Compiler.CompactSourceSyntax.synCwpphnpairfn

def NFChoice.Compiler.CompactSourceSyntax.synCwppqkrelkernel : SemanticCore.Class

Compact nominal syntax for the upstream cwppqkrelkernel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpplitphnordpointfn : SemanticCore.Class

Compact nominal syntax for the upstream cwpplitphnordpointfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwpppowset2fn : SemanticCore.Class

Compact nominal syntax for the upstream cwpppowset2fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppfamilyrep2fn : SemanticCore.Class

Compact nominal syntax for the upstream cwppfamilyrep2fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppdirecte2famfn : SemanticCore.Class

Compact nominal syntax for the upstream cwppdirecte2famfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppdirecth1famfn : SemanticCore.Class

Compact nominal syntax for the upstream cwppdirecth1famfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppdirecth2famfn : SemanticCore.Class

Compact nominal syntax for the upstream cwppdirecth2famfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppconcrete6codefn : SemanticCore.Class

Compact nominal syntax for the upstream cwppconcrete6codefn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppcardt6fn : SemanticCore.Class

Compact nominal syntax for the upstream cwppcardt6fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppconcrete6fn : SemanticCore.Class

Compact nominal syntax for the upstream cwppconcrete6fn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnsicodeliftfn : SemanticCore.Class

Compact nominal syntax for the upstream chnsicodeliftfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnsicodemap (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnsicodemap operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChnsiquomap (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chnsiquomap operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodestrictfn : SemanticCore.Class

Compact nominal syntax for the upstream chncodestrictfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodepredfn : SemanticCore.Class

Compact nominal syntax for the upstream chncodepredfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecarrierfn : SemanticCore.Class

Compact nominal syntax for the upstream chncodecarrierfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodesquarefn : SemanticCore.Class

Compact nominal syntax for the upstream chncodesquarefn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncoderelfn : SemanticCore.Class

Compact nominal syntax for the upstream chncoderelfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecutfn : SemanticCore.Class

Compact nominal syntax for the upstream chncodecutfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecutpairfn : SemanticCore.Class

Compact nominal syntax for the upstream chncodecutpairfn operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecutinputs (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chncodecutinputs operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecutrel (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chncodecutrel operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodecmpset (A : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream chncodecmpset operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodepredinputs (A X : SemanticCore.Class) (v : SemanticCore.Var) : SemanticCore.Class

Compact nominal syntax for the upstream chncodepredinputs operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synChncodepredends (A X : SemanticCore.Class) (v : SemanticCore.Var) : SemanticCore.Class

Compact nominal syntax for the upstream chncodepredends operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppstopact (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppstopact operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppstopstep (F C : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppstopstep operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppfreceq (F G I : SemanticCore.Class) : SemanticCore.Class

Compact nominal syntax for the upstream cwppfreceq operator.

Equations

• One or more equations did not get rendered due to their size.

def NFChoice.Compiler.CompactSourceSyntax.synCwppfrecprefixeq (F G I : SemanticCore.Class) (k : SemanticCore.Var) : SemanticCore.Class

Compact nominal syntax for the upstream cwppfrecprefixeq operator.

Equations

• One or more equations did not get rendered due to their size.