(c&&,(tfun @ tquat @ (tfun @ tquat @ tquat)))
(c<<=,(tfun @ tquat @ (tfun @ tquat @ tbool)))
(cTOP,tquat)
(cONE,tquat)
(cZERO,tquat)
(cX,tquat)
(c_1801155,tquat)
(c_1801154,tquat)
(c_1801153,tquat)
(c_1801152,tquat)
(c_dest_quat,(tfun @ tquat @ (trecspace @ tbool)))
(c_mk_quat,(tfun @ (trecspace @ tbool) @ tquat))
(ceval,(tfun @ tpropform @ (tfun @ (tfun @ tnum @ tbool) @ tbool)))
(cPropform,(tfun @ (tfun @ (tfun @ tnum @ tbool) @ tbool) @ tpropform))
(c_1801131,(tfun @ (tfun @ (tfun @ tnum @ tbool) @ tbool) @ tpropform))
(c_dest_propform,(tfun @ tpropform @ (trecspace @ (tfun @ (tfun @ tnum @ tbool) @ tbool))))
(c_mk_propform,(tfun @ (trecspace @ (tfun @ (tfun @ tnum @ tbool) @ tbool)) @ tpropform))
(cNode,(tfun @ tnum @ tnode))
(c_1801112,(tfun @ tnum @ tnode))
(c_dest_node,(tfun @ tnode @ (trecspace @ tnum)))
(c_mk_node,(tfun @ (trecspace @ tnum) @ tnode))
(ccomponent,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ treal)))
(c+++,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ tbool) @ (tfun @ tnum @ tbool))))
(cschnirelmann,(tfun @ (tfun @ tnum @ tbool) @ treal))
(ccount,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ tnum @ tnum)))
(ccorrect,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ tbool))))
(cwp,(tfun @ (tcommand @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cwlp,(tfun @ (tcommand @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cterminates,(tfun @ (tcommand @ A0) @ (tfun @ A0 @ tbool)))
(cdeterministic,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ tbool))
(csem,(tfun @ (tcommand @ A0) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cADO,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tcommand @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (tcommand @ A0))))))
(cAWHILE,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))))
(cASSERT,(tfun @ (tfun @ A0 @ tbool) @ (tcommand @ A0)))
(cDO,(tfun @ (tcommand @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (tcommand @ A0))))
(cIF,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))
(cABORT,(tcommand @ A0))
(cSKIP,(tcommand @ A0))
(cWhile,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))
(cIte,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0)))))
(cSeq,(tfun @ (tcommand @ A0) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))
(cAssign,(tfun @ (tfun @ A0 @ A0) @ (tcommand @ A0)))
(c_1798081,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))
(c_1798080,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tcommand @ A0) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0)))))
(c_1798079,(tfun @ (tcommand @ A0) @ (tfun @ (tcommand @ A0) @ (tcommand @ A0))))
(c_1798078,(tfun @ (tfun @ A0 @ A0) @ (tcommand @ A0)))
(c_dest_command,(tfun @ (tcommand @ A0) @ (trecspace @ (tprod @ (tfun @ A0 @ A0) @ (tfun @ A0 @ tbool)))))
(c_mk_command,(tfun @ (trecspace @ (tprod @ (tfun @ A0 @ A0) @ (tfun @ A0 @ tbool))) @ (tcommand @ A0)))
(cIMPLIES,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cIMP,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cORS,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ A0 @ tbool)))
(cANDS,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ A0 @ tbool)))
(cOR,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cAND,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cNOT,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool)))
(cTRUE,(tfun @ A0 @ tbool))
(cFALSE,(tfun @ A0 @ tbool))
(cmorder,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tmultiset @ A0) @ (tfun @ (tmultiset @ A0) @ tbool))))
(cWFP,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ tbool)))
(cmdiff,(tfun @ (tmultiset @ A0) @ (tfun @ (tmultiset @ A0) @ (tmultiset @ A0))))
(cmunion,(tfun @ (tmultiset @ A0) @ (tfun @ (tmultiset @ A0) @ (tmultiset @ A0))))
(cmsing,(tfun @ A0 @ (tmultiset @ A0)))
(cmmember,(tfun @ A0 @ (tfun @ (tmultiset @ A0) @ tbool)))
(cmempty,(tmultiset @ A0))
(cmultiplicity,(tfun @ (tmultiset @ A0) @ (tfun @ A0 @ tnum)))
(cmultiset,(tfun @ (tfun @ A0 @ tnum) @ (tmultiset @ A0)))
(cString,(tfun @ (tlist @ tint) @ tstring))
(c_1797384,(tfun @ (tlist @ tint) @ tstring))
(c_dest_string,(tfun @ tstring @ (trecspace @ (tlist @ tint))))
(c_mk_string,(tfun @ (trecspace @ (tlist @ tint)) @ tstring))
(cMAXL,(tfun @ (tlist @ treal) @ (tfun @ treal @ treal)))
(cMINL,(tfun @ (tlist @ treal) @ (tfun @ treal @ treal)))
(cmirror,(tfun @ tcform @ tcform))
(cbset,(tfun @ tcform @ (tfun @ tint @ tbool)))
(caset,(tfun @ tcform @ (tfun @ tint @ tbool)))
(calldivide,(tfun @ tint @ (tfun @ tcform @ tbool)))
(cplusinf,(tfun @ tcform @ tcform))
(cminusinf,(tfun @ tcform @ tcform))
(cinterp,(tfun @ tint @ (tfun @ tcform @ tbool)))
(cNox,(tfun @ tbool @ tcform))
(cOr,(tfun @ tcform @ (tfun @ tcform @ tcform)))
(cAnd,(tfun @ tcform @ (tfun @ tcform @ tcform)))
(cNdivides,(tfun @ tint @ (tfun @ tint @ tcform)))
(cDivides,(tfun @ tint @ (tfun @ tint @ tcform)))
(cNe,(tfun @ tint @ tcform))
(cEq,(tfun @ tint @ tcform))
(cGt,(tfun @ tint @ tcform))
(cLt,(tfun @ tint @ tcform))
(c_1793478,(tfun @ tbool @ tcform))
(c_1793477,(tfun @ tcform @ (tfun @ tcform @ tcform)))
(c_1793476,(tfun @ tcform @ (tfun @ tcform @ tcform)))
(c_1793475,(tfun @ tint @ (tfun @ tint @ tcform)))
(c_1793474,(tfun @ tint @ (tfun @ tint @ tcform)))
(c_1793473,(tfun @ tint @ tcform))
(c_1793472,(tfun @ tint @ tcform))
(c_1793471,(tfun @ tint @ tcform))
(c_1793470,(tfun @ tint @ tcform))
(c_dest_cform,(tfun @ tcform @ (trecspace @ (tprod @ tint @ (tprod @ tint @ tbool)))))
(c_mk_cform,(tfun @ (trecspace @ (tprod @ tint @ (tprod @ tint @ tbool))) @ tcform))
(cconfluent,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cJOINABLE,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cLF,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cTREE,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cSN,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cWN,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cWCR,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cCR,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cNORMAL,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ tbool)))
(cFL,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ tbool)))
(ctriangle,(tfun @ tnum @ tnum))
(cis_midpoint,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ tbool)))
(cmono_on,(tfun @ (tfun @ tnum @ treal) @ (tfun @ (tfun @ treal @ (tfun @ treal @ tbool)) @ (tfun @ (tfun @ tnum @ tbool) @ tbool))))
(cis_quadratic_residue,(tfun @ tnum @ (tfun @ (tfun @ tnum @ (tfun @ tnum @ tbool)) @ tbool)))
(ccanonical,(tfun @ (tfun @ tnum @ tbool) @ tbool))
(crepeating,(tfun @ (tfun @ tnum @ tbool) @ tbool))
(ccountable,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(cstd_icosahedron,(tfun @ (tcart @ treal @ t3) @ tbool))
(cstd_dodecahedron,(tfun @ (tcart @ treal @ t3) @ tbool))
(cstd_octahedron,(tfun @ (tcart @ treal @ t3) @ tbool))
(cstd_cube,(tfun @ (tcart @ treal @ t3) @ tbool))
(cstd_tetrahedron,(tfun @ (tcart @ treal @ t3) @ tbool))
(ceuler_characteristic,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ treal)))
(chyperplane_cellcomplex,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(chyperplane_cell,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(chyperplane_equiv,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool))))
(chyperplane_side,(tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tcart @ treal @ A0) @ treal)))
(cintegral_vector,(tfun @ (tcart @ treal @ A0) @ tbool))
(cperfect,(tfun @ tnum @ tbool))
(ceulerian,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ (tlist @ A0) @ (tfun @ (tprod @ tV @ tV) @ tbool))))
(cdegree,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ tV @ tnum)))
(clocaldegree,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ tV @ (tfun @ A0 @ tnum))))
(clocally_finite,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ tbool))
(cdelete_edge,(tfun @ A0 @ (tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ A1 @ A2)) @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ A1 @ A2)))))
(cconnects,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ A0 @ (tfun @ (tprod @ tV @ tV) @ tbool))))
(cgraph,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ tbool))
(ctermini,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ A0 @ (tfun @ tV @ tbool))))
(cvertices,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ tV @ tbool)))
(cedges,(tfun @ (tprod @ (tfun @ A0 @ tbool) @ (tprod @ (tfun @ tV @ tbool) @ (tfun @ A0 @ (tfun @ tV @ tbool)))) @ (tfun @ A0 @ tbool)))
(cmdist,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ treal))
(cpath_integrable_on,(tfun @ (tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ t2)) @ tbool)))
(cpath_integral,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ t2)) @ (tfun @ (tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ (tcart @ treal @ t2))))
(chas_path_integral,(tfun @ (tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ (tfun @ (tcart @ treal @ t2) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ t2)) @ tbool))))
(cclosed_path,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))
(cvalid_path,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ t2)) @ tbool))
(cpiecewise_differentiable_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(cegcd,(tfun @ (tprod @ tnum @ tnum) @ tnum))
(ccycle,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ tnum @ (tfun @ (tfun @ tnum @ A0) @ tbool))))
(ctag,(tfun @ (tprod @ tnum @ (tprod @ tnum @ tnum)) @ (tprod @ tnum @ (tprod @ tnum @ tnum))))
(czag,(tfun @ (tprod @ tnum @ (tprod @ tnum @ tnum)) @ (tprod @ tnum @ (tprod @ tnum @ tnum))))
(czset,(tfun @ tnum @ (tfun @ (tprod @ tnum @ (tprod @ tnum @ tnum)) @ tbool)))
(cinvolution,(tfun @ (tfun @ A0 @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cpartitions,(tfun @ (tfun @ tnum @ tnum) @ (tfun @ tnum @ tbool)))
(coddpart,(tfun @ tnum @ tnum))
(cindex,(tfun @ tnum @ tnum))
(ctranscendental,(tfun @ treal @ tbool))
(calgebraic,(tfun @ treal @ tbool))
(cpoly_diff,(tfun @ (tlist @ treal) @ (tlist @ treal)))
(cpoly_diff_aux,(tfun @ tnum @ (tfun @ (tlist @ treal) @ (tlist @ treal))))
(cpoly_exp,(tfun @ (tlist @ treal) @ (tfun @ tnum @ (tlist @ treal))))
(cpoly_mul,(tfun @ (tlist @ treal) @ (tfun @ (tlist @ treal) @ (tlist @ treal))))
(cpoly_neg,(tfun @ (tlist @ treal) @ (tlist @ treal)))
(cpoly_cmul,(tfun @ treal @ (tfun @ (tlist @ treal) @ (tlist @ treal))))
(cpoly_add,(tfun @ (tlist @ treal) @ (tfun @ (tlist @ treal) @ (tlist @ treal))))
(cpoly,(tfun @ (tlist @ treal) @ (tfun @ treal @ treal)))
(cint_prime,(tfun @ tint @ tbool))
(ctau,(tfun @ tnum @ tnum))
(csigma,(tfun @ tnum @ tnum))
(cmultiplicative,(tfun @ (tfun @ tnum @ tnum) @ tbool))
(cvariation,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ treal) @ tnum)))
(chomop,(tfun @ tpoint @ (tcart @ treal @ t3)))
(chomol,(tfun @ tline @ (tcart @ treal @ t3)))
(cprojp,(tfun @ (tcart @ treal @ t3) @ tpoint))
(cprojl,(tfun @ (tcart @ treal @ t3) @ tline))
(con,(tfun @ tpoint @ (tfun @ tline @ tbool)))
(cdest_point,(tfun @ tpoint @ tline))
(cmk_point,(tfun @ tline @ tpoint))
(cperpl,(tfun @ tline @ (tfun @ tline @ tbool)))
(cdest_line,(tfun @ tline @ (tfun @ tdirection @ tbool)))
(cmk_line,(tfun @ (tfun @ tdirection @ tbool) @ tline))
(c||,(tfun @ tdirection @ (tfun @ tdirection @ tbool)))
(c_|_,(tfun @ tdirection @ (tfun @ tdirection @ tbool)))
(cdest_dir,(tfun @ tdirection @ (tcart @ treal @ t3)))
(cmk_dir,(tfun @ (tcart @ treal @ t3) @ tdirection))
(ccross,(tfun @ (tcart @ treal @ t3) @ (tfun @ (tcart @ treal @ t3) @ (tcart @ treal @ t3))))
(cconstructible,(tfun @ (tcart @ treal @ t2) @ tbool))
(con_circle,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ tbool)))
(cis_intersection,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ (tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ tbool))))
(ccollinear3,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tcart @ treal @ t2) @ (tfun @ (tcart @ treal @ t2) @ tbool))))
(cparallel,(tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ (tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ tbool)))
(cdepth,(tfun @ texpression @ tnum))
(cradicals,(tfun @ texpression @ (tfun @ texpression @ tbool)))
(cwellformed,(tfun @ texpression @ tbool))
(cvalue,(tfun @ texpression @ treal))
(cSqrt,(tfun @ texpression @ texpression))
(cMultiplication,(tfun @ texpression @ (tfun @ texpression @ texpression)))
(cAddition,(tfun @ texpression @ (tfun @ texpression @ texpression)))
(cInverse,(tfun @ texpression @ texpression))
(cNegation,(tfun @ texpression @ texpression))
(cConstant,(tfun @ treal @ texpression))
(c_1687542,(tfun @ texpression @ texpression))
(c_1687541,(tfun @ texpression @ (tfun @ texpression @ texpression)))
(c_1687540,(tfun @ texpression @ (tfun @ texpression @ texpression)))
(c_1687539,(tfun @ texpression @ texpression))
(c_1687538,(tfun @ texpression @ texpression))
(c_1687537,(tfun @ treal @ texpression))
(c_dest_expression,(tfun @ texpression @ (trecspace @ treal)))
(c_mk_expression,(tfun @ (trecspace @ treal) @ texpression))
(cradical,(tfun @ treal @ tbool))
(creallim,(tfun @ (tnet @ A0) @ (tfun @ (tfun @ A0 @ treal) @ treal)))
(c--->,(tfun @ (tfun @ A0 @ treal) @ (tfun @ treal @ (tfun @ (tnet @ A0) @ tbool))))
(creal_compact,(tfun @ (tfun @ treal @ tbool) @ tbool))
(creal_bounded,(tfun @ (tfun @ treal @ tbool) @ tbool))
(ceuclideanreal,(ttopology @ treal))
(creal_closed,(tfun @ (tfun @ treal @ tbool) @ tbool))
(creal_open,(tfun @ (tfun @ treal @ tbool) @ tbool))
(ccexp,(tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)))
(cITER,(tfun @ tnum @ (tfun @ (tfun @ A0 @ A0) @ (tfun @ A0 @ A0))))
(clength,(tfun @ (tprod @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)) @ treal))
(cmsum,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ (tcart @ (tcart @ treal @ A1) @ A2)) @ (tcart @ (tcart @ treal @ A1) @ A2))))
(cmpow,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ (tfun @ tnum @ (tcart @ (tcart @ treal @ A0) @ A0))))
(ccomplex_pow,(tfun @ (tcart @ treal @ t2) @ (tfun @ tnum @ (tcart @ treal @ t2))))
(ccomplex_div,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2))))
(ccomplex_inv,(tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2)))
(ccomplex_mul,(tfun @ (tcart @ treal @ t2) @ (tfun @ (tcart @ treal @ t2) @ (tcart @ treal @ t2))))
(cii,(tcart @ treal @ t2))
(cCx,(tfun @ treal @ (tcart @ treal @ t2)))
(ccomplex,(tfun @ (tprod @ treal @ treal) @ (tcart @ treal @ t2)))
(cIm,(tfun @ (tcart @ treal @ t2) @ treal))
(cRe,(tfun @ (tcart @ treal @ t2) @ treal))
(cISQRT,(tfun @ tnum @ tnum))
(cprimefact,(tfun @ (tlist @ tnum) @ (tfun @ tnum @ tbool)))
(corder,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cphi,(tfun @ tnum @ tnum))
(cbinom,(tfun @ (tprod @ tnum @ tnum) @ tnum))
(cre_compl,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool)))
(cre_subset,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cre_universe,(tfun @ A0 @ tbool))
(cre_null,(tfun @ A0 @ tbool))
(cre_intersect,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cre_union,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cre_Union,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ A0 @ tbool)))
(cpsum,(tfun @ (tprod @ tnum @ tnum) @ (tfun @ (tfun @ tnum @ treal) @ treal)))
(csnd,(tfun @ tV @ tV))
(cfst,(tfun @ tV @ tV))
(cpair,(tfun @ tV @ (tfun @ tV @ tV)))
(cpowerset,(tfun @ tV @ tV))
(csuchthat,(tfun @ tV @ (tfun @ (tfun @ tV @ tbool) @ tV)))
(cemptyset,(tfun @ tsetlevel @ tV))
(c<=__colon__,(tfun @ tV @ (tfun @ tV @ tbool)))
(c<__colon__,(tfun @ tV @ (tfun @ tV @ tbool)))
(cisaset,(tfun @ tV @ tbool))
(cset,(tfun @ tV @ (tfun @ tI @ tbool)))
(celement,(tfun @ tV @ tI))
(clevel,(tfun @ tV @ tsetlevel))
(cisasetlevel,(tfun @ tsetlevel @ tbool))
(cdroplevel,(tfun @ tsetlevel @ tsetlevel))
(cdest_V,(tfun @ tV @ (tprod @ tsetlevel @ tI)))
(cmk_V,(tfun @ (tprod @ tsetlevel @ tI) @ tV))
(cuniverse,(tfun @ (tprod @ tsetlevel @ tI) @ tbool))
(csetlevel,(tfun @ tsetlevel @ (tfun @ tI @ tbool)))
(cCartprod,(tfun @ tsetlevel @ (tfun @ tsetlevel @ tsetlevel)))
(cPowerset,(tfun @ tsetlevel @ tsetlevel))
(cUr_ind,tsetlevel)
(cUr_bool,tsetlevel)
(c_1672467,(tfun @ tsetlevel @ (tfun @ tsetlevel @ tsetlevel)))
(c_1672466,(tfun @ tsetlevel @ tsetlevel))
(c_1672465,tsetlevel)
(c_1672464,tsetlevel)
(c_dest_setlevel,(tfun @ tsetlevel @ (trecspace @ tbool)))
(c_mk_setlevel,(tfun @ (trecspace @ tbool) @ tsetlevel))
(cI_SET,(tfun @ (tfun @ tI @ tbool) @ (tfun @ (tfun @ tI @ tbool) @ tI)))
(cI_IND,(tfun @ tind_model @ tI))
(cI_BOOL,(tfun @ tbool @ tI))
(cI_PAIR,(tfun @ (tprod @ tI @ tI) @ tI))
(cdest_I,(tfun @ tI @ tnum))
(cmk_I,(tfun @ tnum @ tI))
(cdest_ind,(tfun @ tind_model @ tnum))
(cmk_ind,(tfun @ tnum @ tind_model))
(c|->,(tfun @ A0 @ (tfun @ A1 @ (tfun @ (tfun @ A0 @ A1) @ (tfun @ A0 @ A1)))))
(c|-,(tfun @ (tlist @ tterm) @ (tfun @ tterm @ tbool)))
(cINST,(tfun @ (tlist @ (tprod @ ttype @ ttype)) @ (tfun @ tterm @ tterm)))
(cINST_CORE,(tfun @ (tlist @ (tprod @ tterm @ tterm)) @ (tfun @ (tlist @ (tprod @ ttype @ ttype)) @ (tfun @ tterm @ tresult))))
(csizeof,(tfun @ tterm @ tnum))
(cCLASH,(tfun @ tresult @ tterm))
(cRESULT,(tfun @ tresult @ tterm))
(cIS_CLASH,(tfun @ tresult @ tbool))
(cIS_RESULT,(tfun @ tresult @ tbool))
(cResult,(tfun @ tterm @ tresult))
(cClash,(tfun @ tterm @ tresult))
(c_1609347,(tfun @ tterm @ tresult))
(c_1609346,(tfun @ tterm @ tresult))
(c_dest_result,(tfun @ tresult @ (trecspace @ tterm)))
(c_mk_result,(tfun @ (trecspace @ tterm) @ tresult))
(cVSUBST,(tfun @ (tlist @ (tprod @ tterm @ tterm)) @ (tfun @ tterm @ tterm)))
(cVARIANT,(tfun @ tterm @ (tfun @ (tlist @ tchar) @ (tfun @ ttype @ (tlist @ tchar)))))
(cTYPE_SUBST,(tfun @ (tlist @ (tprod @ ttype @ ttype)) @ (tfun @ ttype @ ttype)))
(cREV_ASSOCD,(tfun @ A0 @ (tfun @ (tlist @ (tprod @ A1 @ A0)) @ (tfun @ A1 @ A1))))
(cVFREE_IN,(tfun @ tterm @ (tfun @ tterm @ tbool)))
(cTERM_UNION,(tfun @ (tlist @ tterm) @ (tfun @ (tlist @ tterm) @ (tlist @ tterm))))
(cACONV,(tfun @ tterm @ (tfun @ tterm @ tbool)))
(cRACONV,(tfun @ (tlist @ (tprod @ tterm @ tterm)) @ (tfun @ (tprod @ tterm @ tterm) @ tbool)))
(cALPHAVARS,(tfun @ (tlist @ (tprod @ A0 @ A0)) @ (tfun @ (tprod @ A0 @ A0) @ tbool)))
(c===,(tfun @ tterm @ (tfun @ tterm @ tterm)))
(ctypeof,(tfun @ tterm @ ttype))
(cwelltyped,(tfun @ tterm @ tbool))
(chas_type,(tfun @ tterm @ (tfun @ ttype @ tbool)))
(cAbs,(tfun @ (tlist @ tchar) @ (tfun @ ttype @ (tfun @ tterm @ tterm))))
(cComb,(tfun @ tterm @ (tfun @ tterm @ tterm)))
(cSelect,(tfun @ ttype @ tterm))
(cEqual,(tfun @ ttype @ tterm))
(cVar,(tfun @ (tlist @ tchar) @ (tfun @ ttype @ tterm)))
(c_1554661,(tfun @ (tlist @ tchar) @ (tfun @ ttype @ (tfun @ tterm @ tterm))))
(c_1554660,(tfun @ tterm @ (tfun @ tterm @ tterm)))
(c_1554659,(tfun @ ttype @ tterm))
(c_1554658,(tfun @ ttype @ tterm))
(c_1554657,(tfun @ (tlist @ tchar) @ (tfun @ ttype @ tterm)))
(c_dest_term,(tfun @ tterm @ (trecspace @ (tprod @ (tlist @ tchar) @ ttype))))
(c_mk_term,(tfun @ (trecspace @ (tprod @ (tlist @ tchar) @ ttype)) @ tterm))
(ccodomain,(tfun @ ttype @ ttype))
(cdomain,(tfun @ ttype @ ttype))
(cFun,(tfun @ ttype @ (tfun @ ttype @ ttype)))
(cInd,ttype)
(cBool,ttype)
(cTyvar,(tfun @ (tlist @ tchar) @ ttype))
(c_1554355,(tfun @ ttype @ (tfun @ ttype @ ttype)))
(c_1554354,ttype)
(c_1554353,ttype)
(c_1554352,(tfun @ (tlist @ tchar) @ ttype))
(c_dest_type,(tfun @ ttype @ (trecspace @ (tlist @ tchar))))
(c_mk_type,(tfun @ (trecspace @ (tlist @ tchar)) @ ttype))
(cQSORT,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tlist @ A0) @ (tlist @ A0))))
(cORDERED,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tlist @ A0) @ tbool)))
(cPERMUTATION,(tfun @ (tlist @ tnum) @ tbool))
(cREVPERM,(tfun @ tnum @ (tlist @ tnum)))
(cPERMUTED,(tfun @ (tlist @ A0) @ (tfun @ (tlist @ A0) @ tbool)))
(cLIST_UNIQ,(tfun @ (tlist @ A0) @ tbool))
(cCOUNT,(tfun @ A0 @ (tfun @ (tlist @ A0) @ tnum)))
(cDELETE1,(tfun @ A0 @ (tfun @ (tlist @ A0) @ (tlist @ A0))))
(cTERM,(tfun @ tnum @ tbool))
(cTERM1,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(cALLN,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ tnum @ tbool)))
(cdenumber,(tfun @ tnum @ tnum))
(cnumber,(tfun @ tnum @ tnum))
(cPSEQ,(tfun @ tnum @ (tfun @ (tfun @ tnum @ tnum) @ (tfun @ tnum @ (tfun @ tnum @ tnum)))))
(cprimepow,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(cNPAIR,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(clcm,(tfun @ (tprod @ tnum @ tnum) @ tnum))
(cprime,(tfun @ tnum @ tbool))
(cRELPOW,(tfun @ tnum @ (tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool)))))
(cINV,(tfun @ (tfun @ A1 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A1 @ tbool))))
(cRSTC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cSTC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cRTC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cRSC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cTC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cSC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cRC,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(clebesgue_measurable,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cmeasurable_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(cmeasure,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ treal))
(cmeasurable,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(chas_measure,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ treal @ tbool)))
(cpath_length,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ treal))
(crectifiable_path,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))
(cvector_variation,(tfun @ (tfun @ (tcart @ treal @ t1) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ treal)))
(chas_bounded_variation_on,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ tbool) @ tbool)))
(cequiintegrable_on,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(cabsolutely_integrable_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(chas_bounded_setvariation_on,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(cset_variation,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tcart @ treal @ A1)) @ treal)))
(cnegligible,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cindicator,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ t1))))
(cdivision_points,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool) @ (tfun @ (tprod @ tnum @ treal) @ tbool))))
(clifted,(tfun @ (tfun @ A0 @ (tfun @ A0 @ A1)) @ (tfun @ (toption @ A0) @ (tfun @ (toption @ A0) @ (toption @ A1)))))
(coperative,(tfun @ (tfun @ A1 @ (tfun @ A1 @ A1)) @ (tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ A1) @ tbool)))
(cintegral,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tcart @ treal @ A1))))
(cintegrable_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(chas_integral,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool))))
(chas_integral_compact_interval,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool))))
(cfine,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tfun @ (tfun @ (tprod @ A0 @ (tfun @ A1 @ tbool)) @ tbool) @ tbool)))
(ctagged_division_of,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(ctagged_partial_division_of,(tfun @ (tfun @ (tprod @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cdivision_of,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cgauge,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ tbool))
(ccontent,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ treal))
(cinterval_lowerbound,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tcart @ treal @ A0)))
(cinterval_upperbound,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tcart @ treal @ A0)))
(creversion,(tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0))))
(coutermorphism,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A1)))))
(cseqiterate,(tfun @ (tfun @ A0 @ (tfun @ A0 @ A0)) @ (tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ A0) @ A0))))
(cinner,(tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0)))))
(couter,(tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0)))))
(cgeom_mul,(tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0)))))
(cProduct,(tfun @ (tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ tbool) @ treal)) @ (tfun @ (tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ tbool) @ (tfun @ tnum @ tbool))) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0)))))))
(cgrade,(tfun @ tnum @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tcart @ treal @ (tmultivector @ A0)))))
(cmultivector,(tfun @ tnum @ (tfun @ (tcart @ treal @ (tmultivector @ A0)) @ tbool)))
(cmultivec,(tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ (tmultivector @ A0))))
(cmbasis,(tfun @ (tfun @ tnum @ tbool) @ (tcart @ treal @ (tmultivector @ A0))))
(clambdas,(tfun @ (tfun @ (tfun @ tnum @ tbool) @ treal) @ (tcart @ treal @ (tmultivector @ A0))))
(c$$,(tfun @ (tcart @ treal @ (tmultivector @ A0)) @ (tfun @ (tfun @ tnum @ tbool) @ treal)))
(ccodeset,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(csetcode,(tfun @ (tfun @ tnum @ tbool) @ tnum))
(cdest_multivector,(tfun @ (tmultivector @ A0) @ (tfun @ tnum @ tbool)))
(cmk_multivector,(tfun @ (tfun @ tnum @ tbool) @ (tmultivector @ A0)))
(cbinarysum,(tfun @ (tfun @ tnum @ tbool) @ tnum))
(cbitset,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(cvector_derivative,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tnet @ (tcart @ treal @ t1)) @ (tcart @ treal @ A0))))
(chas_vector_derivative,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tnet @ (tcart @ treal @ t1)) @ tbool))))
(cjacobian,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tfun @ (tnet @ (tcart @ treal @ A0)) @ (tcart @ (tcart @ treal @ A0) @ A1))))
(cfrechet_derivative,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tfun @ (tnet @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)))))
(cdifferentiable_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(cdifferentiable,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tnet @ (tcart @ treal @ A1)) @ tbool)))
(chas_derivative,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tnet @ (tcart @ treal @ A1)) @ tbool))))
(cinterval_bij,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)))))
(cENR,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cANR,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cAR,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cretract_of,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cretraction,(tfun @ (tprod @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ tbool)))
(creduced,(tfun @ (tfun @ (tfun @ tnum @ tnum) @ (tfun @ tnum @ tnum)) @ (tfun @ tnum @ (tfun @ (tfun @ tnum @ tnum) @ tnum))))
(cksimplex,(tfun @ tnum @ (tfun @ tnum @ (tfun @ (tfun @ (tfun @ tnum @ tnum) @ tbool) @ tbool))))
(ckle,(tfun @ tnum @ (tfun @ (tfun @ tnum @ tnum) @ (tfun @ (tfun @ tnum @ tnum) @ tbool))))
(ctriangulation,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool) @ tbool))
(csimplicial_complex,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool) @ tbool))
(csimplex,(tfun @ tint @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cpolyhedron,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cpolytope,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cedge_of,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cfacet_of,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cextreme_point_of,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cexposed_face_of,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cface_of,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(ccovering_space,(tfun @ (tprod @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1))) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(ccontractible,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(chomotopy_equivalent,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(csimply_connected,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(chomotopic_loops,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))))
(chomotopic_paths,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))))
(chomotopic_with,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ tbool) @ (tfun @ (tprod @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A1) @ tbool)) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ tbool)))))
(coutside,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cinside,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(clocally,(tfun @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cpath_connected,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cpath_component,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool))))
(clinepath,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0))))
(csubpath,(tfun @ (tcart @ treal @ t1) @ (tfun @ (tcart @ treal @ t1) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ A0) @ (tfun @ (tcart @ treal @ t1) @ A0)))))
(cshiftpath,(tfun @ (tcart @ treal @ t1) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)))))
(carc,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))
(csimple_path,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))
(c++,(tfun @ (tfun @ (tcart @ treal @ t1) @ A0) @ (tfun @ (tfun @ (tcart @ treal @ t1) @ A0) @ (tfun @ (tcart @ treal @ t1) @ A0))))
(creversepath,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0))))
(cpath_image,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cpathfinish,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tcart @ treal @ A0)))
(cpathstart,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ (tcart @ treal @ A0)))
(cpath,(tfun @ (tfun @ (tcart @ treal @ t1) @ (tcart @ treal @ A0)) @ tbool))
(crelative_frontier,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(crelative_interior,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cstarlike,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cepigraph,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tcart @ treal @ (tfinite_sum @ A0 @ t1)) @ tbool))))
(cconvex_cone,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(caff_dim,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tint))
(cconvex_on,(tfun @ (tfun @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(ccoplanar,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(caffine_dependent,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cconic,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cconvex,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(caffine,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(chausdist,(tfun @ (tprod @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ treal))
(csetdist,(tfun @ (tprod @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ treal))
(cclosest_point,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))))
(csummable,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ (tcart @ treal @ A0)) @ tbool)))
(cinfsum,(tfun @ (tfun @ tnum @ tbool) @ (tfun @ (tfun @ tnum @ (tcart @ treal @ A0)) @ (tcart @ treal @ A0))))
(csums,(tfun @ (tfun @ tnum @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ tnum @ tbool) @ tbool))))
(chomeomorphic,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(chomeomorphism,(tfun @ (tprod @ (tfun @ (tcart @ treal @ A1) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)) @ (tfun @ (tprod @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1))) @ tbool)))
(copen_segment,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cclosed_segment,(tfun @ (tlist @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cis_interval,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cclosed_interval,(tfun @ (tlist @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(copen_interval,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cdiameter,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ treal))
(ccomponents,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cconnected_component,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool))))
(cuniformly_continuous_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(ccontinuous_on,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tfun @ (tcart @ treal @ A1) @ tbool) @ tbool)))
(ccontinuous,(tfun @ (tfun @ A1 @ (tcart @ treal @ A0)) @ (tfun @ (tnet @ A1) @ tbool)))
(ccomplete,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(ccauchy,(tfun @ (tfun @ tnum @ (tcart @ treal @ A0)) @ tbool))
(ccompact,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cbounded,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cnetlimit,(tfun @ (tnet @ A0) @ A0))
(ccondensation_point_of,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(clim,(tfun @ (tnet @ A0) @ (tfun @ (tfun @ A0 @ (tcart @ treal @ A1)) @ (tcart @ treal @ A1))))
(c-->,(tfun @ (tfun @ A1 @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tnet @ A1) @ tbool))))
(ceventually,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tnet @ A0) @ tbool)))
(ctrivial_limit,(tfun @ (tnet @ A0) @ tbool))
(cin_direction,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ (tnet @ (tcart @ treal @ A0)))))
(cwithin,(tfun @ (tnet @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (tnet @ A0))))
(csequentially,(tnet @ tnum))
(cat_infinity,(tnet @ (tcart @ treal @ A0)))
(cat,(tfun @ (tcart @ treal @ A0) @ (tnet @ (tcart @ treal @ A0))))
(cnetord,(tfun @ (tnet @ A0) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cmk_net,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tnet @ A0)))
(cfrontier,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cclosure,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cinterior,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(climit_point_of,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool)))
(cconnected,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(csphere,(tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(ccball,(tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cball,(tfun @ (tprod @ (tcart @ treal @ A0) @ treal) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(ceuclidean,(ttopology @ (tcart @ treal @ A0)))
(cclosed,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(copen,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(csubtopology,(tfun @ (ttopology @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ (ttopology @ A0))))
(cclosed_in,(tfun @ (ttopology @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(ctopspace,(tfun @ (ttopology @ A0) @ (tfun @ A0 @ tbool)))
(copen_in,(tfun @ (ttopology @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(ctopology,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (ttopology @ A0)))
(cistopology,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ tbool))
(creflect_along,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))))
(crotoinversion_matrix,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ tbool))
(crotation_matrix,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ tbool))
(corthogonal_matrix,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ tbool))
(corthogonal_transformation,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ tbool))
(cdiagonal_matrix,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ tbool))
(ccofactor,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ (tcart @ (tcart @ treal @ A0) @ A0)))
(cdet,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ treal))
(ctrace,(tfun @ (tcart @ (tcart @ treal @ A0) @ A0) @ treal))
(cmidpoint,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ (tcart @ treal @ A0)))
(cbetween,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ tbool)))
(ccollinear,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cinfnorm,(tfun @ (tcart @ treal @ A0) @ treal))
(crank,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ tnum))
(ccolumnvector,(tfun @ (tcart @ treal @ A0) @ (tcart @ (tcart @ treal @ t1) @ A0)))
(crowvector,(tfun @ (tcart @ treal @ A0) @ (tcart @ (tcart @ treal @ A0) @ t1)))
(cdim,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tnum))
(cindependent,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cdependent,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cspan,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(csubspace,(tfun @ (tfun @ (tcart @ treal @ A0) @ tbool) @ tbool))
(cdrop,(tfun @ (tcart @ treal @ t1) @ treal))
(clift,(tfun @ treal @ (tcart @ treal @ t1)))
(conorm,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ treal))
(cmatrix,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ (tcart @ (tcart @ treal @ A0) @ A1)))
(cmatrix_inv,(tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tcart @ (tcart @ treal @ A0) @ A1)))
(cinvertible,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ tbool))
(ccolumns,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tfun @ (tcart @ treal @ A1) @ tbool)))
(crows,(tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tfun @ (tcart @ treal @ A1) @ tbool)))
(ccolumn,(tfun @ tnum @ (tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tcart @ treal @ A1))))
(crow,(tfun @ tnum @ (tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tcart @ treal @ A1))))
(ctransp,(tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tcart @ (tcart @ treal @ A0) @ A1)))
(cmat,(tfun @ tnum @ (tcart @ (tcart @ treal @ A0) @ A1)))
(cvector_matrix_mul,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tcart @ treal @ A1))))
(cmatrix_vector_mul,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1))))
(cmatrix_mul,(tfun @ (tcart @ (tcart @ treal @ A0) @ A2) @ (tfun @ (tcart @ (tcart @ treal @ A1) @ A0) @ (tcart @ (tcart @ treal @ A1) @ A2))))
(cmatrix_sub,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tcart @ (tcart @ treal @ A0) @ A1))))
(cmatrix_add,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tcart @ (tcart @ treal @ A0) @ A1))))
(cmatrix_neg,(tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tcart @ (tcart @ treal @ A0) @ A1)))
(c%%,(tfun @ treal @ (tfun @ (tcart @ (tcart @ treal @ A0) @ A1) @ (tcart @ (tcart @ treal @ A0) @ A1))))
(cadjoint,(tfun @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A0)) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1))))
(cbilinear,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A1) @ (tcart @ treal @ A2))) @ tbool))
(clinear,(tfun @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A1)) @ tbool))
(corthogonal,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ tbool)))
(cbasis,(tfun @ tnum @ (tcart @ treal @ A0)))
(cvsum,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ (tcart @ treal @ A1)) @ (tcart @ treal @ A1))))
(cdistance,(tfun @ (tprod @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)) @ treal))
(cvector_norm,(tfun @ (tcart @ treal @ A0) @ treal))
(cdot,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ treal)))
(cvec,(tfun @ tnum @ (tcart @ treal @ A0)))
(c%,(tfun @ treal @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))))
(cvector_neg,(tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0)))
(cvector_sub,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))))
(cvector_add,(tfun @ (tcart @ treal @ A0) @ (tfun @ (tcart @ treal @ A0) @ (tcart @ treal @ A0))))
(cfrom,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(csqrt,(tfun @ treal @ treal))
(chull,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cfrac,(tfun @ treal @ treal))
(cfloor,(tfun @ treal @ treal))
(crational,(tfun @ treal @ tbool))
(cproduct,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ treal) @ treal)))
(cnproduct,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tnum) @ tnum)))
(csign,(tfun @ (tfun @ A0 @ A0) @ treal))
(cevenperm,(tfun @ (tfun @ A0 @ A0) @ tbool))
(cpermutation,(tfun @ (tfun @ A0 @ A0) @ tbool))
(cswapseq,(tfun @ tnum @ (tfun @ (tfun @ A0 @ A0) @ tbool)))
(cswap,(tfun @ (tprod @ A0 @ A0) @ (tfun @ A0 @ A0)))
(cinverse,(tfun @ (tfun @ A1 @ A0) @ (tfun @ A0 @ A1)))
(cpermutes,(tfun @ (tfun @ A0 @ A0) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(c*_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ (tfun @ (tprod @ A0 @ A1) @ tbool))))
(c+_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ (tfun @ (tsum @ A0 @ A1) @ tbool))))
(cordinal,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ tbool))
(clinseg,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ (tfun @ A0 @ (tfun @ (tprod @ A0 @ A0) @ tbool))))
(cinseg,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ (tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ tbool)))
(cwoset,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ tbool))
(ctoset,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ tbool))
(cchain,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cposet,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ tbool))
(cfl,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ (tfun @ A0 @ tbool)))
(cless,(tfun @ (tfun @ (tprod @ A0 @ A0) @ tbool) @ (tfun @ (tprod @ A0 @ A0) @ tbool)))
(csuperadmissible,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ (tfun @ A0 @ A2) @ (tfun @ A1 @ tbool)) @ (tfun @ (tfun @ A1 @ A0) @ (tfun @ (tfun @ (tfun @ A0 @ A2) @ (tfun @ A1 @ A2)) @ tbool)))))
(ctailadmissible,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ (tfun @ A0 @ A2) @ (tfun @ A1 @ tbool)) @ (tfun @ (tfun @ A1 @ A0) @ (tfun @ (tfun @ (tfun @ A0 @ A2) @ (tfun @ A1 @ A2)) @ tbool)))))
(cadmissible,(tfun @ (tfun @ A1 @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ (tfun @ A1 @ A2) @ (tfun @ A3 @ tbool)) @ (tfun @ (tfun @ A3 @ A0) @ (tfun @ (tfun @ (tfun @ A1 @ A2) @ (tfun @ A3 @ A4)) @ tbool)))))
(cCASEWISE,(tfun @ (tlist @ (tprod @ (tfun @ A0 @ A2) @ (tfun @ A1 @ (tfun @ A0 @ A3)))) @ (tfun @ A1 @ (tfun @ A2 @ A3))))
(cPCROSS,(tfun @ (tfun @ (tcart @ A0 @ A1) @ tbool) @ (tfun @ (tfun @ (tcart @ A0 @ A2) @ tbool) @ (tfun @ (tcart @ A0 @ (tfinite_sum @ A1 @ A2)) @ tbool))))
(cvector,(tfun @ (tlist @ A0) @ (tcart @ A0 @ A1)))
(cdest_auto_define_finite_type_4,(tfun @ t4 @ tnum))
(cmk_auto_define_finite_type_4,(tfun @ tnum @ t4))
(cdest_auto_define_finite_type_3,(tfun @ t3 @ tnum))
(cmk_auto_define_finite_type_3,(tfun @ tnum @ t3))
(cdest_auto_define_finite_type_2,(tfun @ t2 @ tnum))
(cmk_auto_define_finite_type_2,(tfun @ tnum @ t2))
(csndcart,(tfun @ (tcart @ A1 @ (tfinite_sum @ A0 @ A2)) @ (tcart @ A1 @ A2)))
(cfstcart,(tfun @ (tcart @ A1 @ (tfinite_sum @ A2 @ A0)) @ (tcart @ A1 @ A2)))
(cpastecart,(tfun @ (tcart @ A0 @ A1) @ (tfun @ (tcart @ A0 @ A2) @ (tcart @ A0 @ (tfinite_sum @ A1 @ A2)))))
(cdest_finite_sum,(tfun @ (tfinite_sum @ A0 @ A1) @ tnum))
(cmk_finite_sum,(tfun @ tnum @ (tfinite_sum @ A0 @ A1)))
(clambda,(tfun @ (tfun @ tnum @ A0) @ (tcart @ A0 @ A1)))
(c$,(tfun @ (tcart @ A1 @ A0) @ (tfun @ tnum @ A1)))
(cdest_cart,(tfun @ (tcart @ A1 @ A0) @ (tfun @ (tfinite_image @ A0) @ A1)))
(cmk_cart,(tfun @ (tfun @ (tfinite_image @ A1) @ A0) @ (tcart @ A0 @ A1)))
(cdest_finite_image,(tfun @ (tfinite_image @ A0) @ tnum))
(cfinite_index,(tfun @ tnum @ (tfinite_image @ A0)))
(cdimindex,(tfun @ (tfun @ A0 @ tbool) @ tnum))
(csum,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ treal) @ treal)))
(cnsum,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tnum) @ tnum)))
(citerate,(tfun @ (tfun @ A1 @ (tfun @ A1 @ A1)) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ A1) @ A1))))
(csupport,(tfun @ (tfun @ A0 @ (tfun @ A0 @ A0)) @ (tfun @ (tfun @ A1 @ A0) @ (tfun @ (tfun @ A1 @ tbool) @ (tfun @ A1 @ tbool)))))
(cmonoidal,(tfun @ (tfun @ A0 @ (tfun @ A0 @ A0)) @ tbool))
(cneutral,(tfun @ (tfun @ A0 @ (tfun @ A0 @ A0)) @ A0))
(c..,(tfun @ tnum @ (tfun @ tnum @ (tfun @ tnum @ tbool))))
(cinf,(tfun @ (tfun @ treal @ tbool) @ treal))
(csup,(tfun @ (tfun @ treal @ tbool) @ treal))
(cCOUNTABLE,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(c>_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool)))
(c>=_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool)))
(c=_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool)))
(c<_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool)))
(c<=_c,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool)))
(cPAIRWISE,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tlist @ A0) @ tbool)))
(cpairwise,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(clist_of_set,(tfun @ (tfun @ A0 @ tbool) @ (tlist @ A0)))
(cset_of_list,(tfun @ (tlist @ A0) @ (tfun @ A0 @ tbool)))
(cCROSS,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ (tfun @ (tprod @ A0 @ A1) @ tbool))))
(cHAS_SIZE,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ tnum @ tbool)))
(cCARD,(tfun @ (tfun @ A0 @ tbool) @ tnum))
(cITSET,(tfun @ (tfun @ A0 @ (tfun @ A1 @ A1)) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A1 @ A1))))
(cFINREC,(tfun @ (tfun @ A0 @ (tfun @ A1 @ A1)) @ (tfun @ A1 @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A1 @ (tfun @ tnum @ tbool))))))
(cREST,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool)))
(cCHOICE,(tfun @ (tfun @ A0 @ tbool) @ A0))
(cBIJ,(tfun @ (tfun @ A0 @ A1) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool))))
(cSURJ,(tfun @ (tfun @ A0 @ A1) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool))))
(cINJ,(tfun @ (tfun @ A0 @ A1) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A1 @ tbool) @ tbool))))
(cIMAGE,(tfun @ (tfun @ A0 @ A1) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A1 @ tbool))))
(cINFINITE,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(cFINITE,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(cSING,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(cDISJOINT,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cPSUBSET,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cSUBSET,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cDELETE,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cDIFF,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cINTERS,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ A0 @ tbool)))
(cINTER,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cUNIONS,(tfun @ (tfun @ (tfun @ A0 @ tbool) @ tbool) @ (tfun @ A0 @ tbool)))
(cUNION,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cUNIV,(tfun @ A0 @ tbool))
(cINSERT,(tfun @ A0 @ (tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool))))
(cEMPTY,(tfun @ A0 @ tbool))
(cSETSPEC,(tfun @ A0 @ (tfun @ tbool @ (tfun @ A0 @ tbool))))
(cGSPEC,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ A0 @ tbool)))
(cIN,(tfun @ A0 @ (tfun @ (tfun @ A0 @ tbool) @ tbool)))
(cnum_gcd,(tfun @ (tprod @ tnum @ tnum) @ tnum))
(cnum_coprime,(tfun @ (tprod @ tnum @ tnum) @ tbool))
(cnum_mod,(tfun @ tnum @ (tfun @ tnum @ (tfun @ tnum @ tbool))))
(cnum_divides,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(cnum_of_int,(tfun @ tint @ tnum))
(cint_gcd,(tfun @ (tprod @ tint @ tint) @ tint))
(cint_coprime,(tfun @ (tprod @ tint @ tint) @ tbool))
(cint_mod,(tfun @ tint @ (tfun @ tint @ (tfun @ tint @ tbool))))
(cint_divides,(tfun @ tint @ (tfun @ tint @ tbool)))
(creal_mod,(tfun @ treal @ (tfun @ treal @ (tfun @ treal @ tbool))))
(c==,(tfun @ A0 @ (tfun @ A0 @ (tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))))
(crem,(tfun @ tint @ (tfun @ tint @ tint)))
(cdiv,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_pow,(tfun @ tint @ (tfun @ tnum @ tint)))
(cint_min,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_max,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_sgn,(tfun @ tint @ tint))
(cint_abs,(tfun @ tint @ tint))
(cint_mul,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_sub,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_add,(tfun @ tint @ (tfun @ tint @ tint)))
(cint_neg,(tfun @ tint @ tint))
(cint_of_num,(tfun @ tnum @ tint))
(cint_gt,(tfun @ tint @ (tfun @ tint @ tbool)))
(cint_ge,(tfun @ tint @ (tfun @ tint @ tbool)))
(cint_lt,(tfun @ tint @ (tfun @ tint @ tbool)))
(cint_le,(tfun @ tint @ (tfun @ tint @ tbool)))
(creal_of_int,(tfun @ tint @ treal))
(cint_of_real,(tfun @ treal @ tint))
(cinteger,(tfun @ treal @ tbool))
(cDECIMAL,(tfun @ tnum @ (tfun @ tnum @ treal)))
(creal_sgn,(tfun @ treal @ treal))
(creal_min,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_max,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_div,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_pow,(tfun @ treal @ (tfun @ tnum @ treal)))
(creal_abs,(tfun @ treal @ treal))
(creal_gt,(tfun @ treal @ (tfun @ treal @ tbool)))
(creal_ge,(tfun @ treal @ (tfun @ treal @ tbool)))
(creal_lt,(tfun @ treal @ (tfun @ treal @ tbool)))
(creal_sub,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_inv,(tfun @ treal @ treal))
(creal_le,(tfun @ treal @ (tfun @ treal @ tbool)))
(creal_mul,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_add,(tfun @ treal @ (tfun @ treal @ treal)))
(creal_neg,(tfun @ treal @ treal))
(creal_of_num,(tfun @ tnum @ treal))
(cdest_real,(tfun @ treal @ (tfun @ (tprod @ threal @ threal) @ tbool)))
(cmk_real,(tfun @ (tfun @ (tprod @ threal @ threal) @ tbool) @ treal))
(ctreal_eq,(tfun @ (tprod @ threal @ threal) @ (tfun @ (tprod @ threal @ threal) @ tbool)))
(ctreal_inv,(tfun @ (tprod @ threal @ threal) @ (tprod @ threal @ threal)))
(ctreal_le,(tfun @ (tprod @ threal @ threal) @ (tfun @ (tprod @ threal @ threal) @ tbool)))
(ctreal_mul,(tfun @ (tprod @ threal @ threal) @ (tfun @ (tprod @ threal @ threal) @ (tprod @ threal @ threal))))
(ctreal_add,(tfun @ (tprod @ threal @ threal) @ (tfun @ (tprod @ threal @ threal) @ (tprod @ threal @ threal))))
(ctreal_neg,(tfun @ (tprod @ threal @ threal) @ (tprod @ threal @ threal)))
(ctreal_of_num,(tfun @ tnum @ (tprod @ threal @ threal)))
(chreal_inv,(tfun @ threal @ threal))
(chreal_le,(tfun @ threal @ (tfun @ threal @ tbool)))
(chreal_mul,(tfun @ threal @ (tfun @ threal @ threal)))
(chreal_add,(tfun @ threal @ (tfun @ threal @ threal)))
(chreal_of_num,(tfun @ tnum @ threal))
(cdest_hreal,(tfun @ threal @ (tfun @ tnadd @ tbool)))
(cmk_hreal,(tfun @ (tfun @ tnadd @ tbool) @ threal))
(cnadd_inv,(tfun @ tnadd @ tnadd))
(cnadd_rinv,(tfun @ tnadd @ (tfun @ tnum @ tnum)))
(cnadd_mul,(tfun @ tnadd @ (tfun @ tnadd @ tnadd)))
(cnadd_add,(tfun @ tnadd @ (tfun @ tnadd @ tnadd)))
(cnadd_le,(tfun @ tnadd @ (tfun @ tnadd @ tbool)))
(cnadd_of_num,(tfun @ tnum @ tnadd))
(cnadd_eq,(tfun @ tnadd @ (tfun @ tnadd @ tbool)))
(cdest_nadd,(tfun @ tnadd @ (tfun @ tnum @ tnum)))
(cmk_nadd,(tfun @ (tfun @ tnum @ tnum) @ tnadd))
(cis_nadd,(tfun @ (tfun @ tnum @ tnum) @ tbool))
(cdist,(tfun @ (tprod @ tnum @ tnum) @ tnum))
(cASCII,(tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ tchar)))))))))
(c_13181,(tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ tchar)))))))))
(c_dest_char,(tfun @ tchar @ (trecspace @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ tbool))))))))))
(c_mk_char,(tfun @ (trecspace @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ (tprod @ tbool @ tbool)))))))) @ tchar))
(cZIP,(tfun @ (tlist @ A0) @ (tfun @ (tlist @ A1) @ (tlist @ (tprod @ A0 @ A1)))))
(cITLIST2,(tfun @ (tfun @ A0 @ (tfun @ A1 @ (tfun @ A2 @ A2))) @ (tfun @ (tlist @ A0) @ (tfun @ (tlist @ A1) @ (tfun @ A2 @ A2)))))
(cASSOC,(tfun @ A0 @ (tfun @ (tlist @ (tprod @ A0 @ A1)) @ A1)))
(cFILTER,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tlist @ A0) @ (tlist @ A0))))
(cEL,(tfun @ tnum @ (tfun @ (tlist @ A0) @ A0)))
(cMAP2,(tfun @ (tfun @ A0 @ (tfun @ A1 @ A2)) @ (tfun @ (tlist @ A0) @ (tfun @ (tlist @ A1) @ (tlist @ A2)))))
(cALL2,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tfun @ (tlist @ A0) @ (tfun @ (tlist @ A1) @ tbool))))
(cMEM,(tfun @ A0 @ (tfun @ (tlist @ A0) @ tbool)))
(cITLIST,(tfun @ (tfun @ A0 @ (tfun @ A1 @ A1)) @ (tfun @ (tlist @ A0) @ (tfun @ A1 @ A1))))
(cEX,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tlist @ A0) @ tbool)))
(cALL,(tfun @ (tfun @ A0 @ tbool) @ (tfun @ (tlist @ A0) @ tbool)))
(cNULL,(tfun @ (tlist @ A0) @ tbool))
(cREPLICATE,(tfun @ tnum @ (tfun @ A0 @ (tlist @ A0))))
(cBUTLAST,(tfun @ (tlist @ A0) @ (tlist @ A0)))
(cLAST,(tfun @ (tlist @ A0) @ A0))
(cMAP,(tfun @ (tfun @ A0 @ A1) @ (tfun @ (tlist @ A0) @ (tlist @ A1))))
(cLENGTH,(tfun @ (tlist @ A0) @ tnum))
(cREVERSE,(tfun @ (tlist @ A0) @ (tlist @ A0)))
(cAPPEND,(tfun @ (tlist @ A0) @ (tfun @ (tlist @ A0) @ (tlist @ A0))))
(cTL,(tfun @ (tlist @ A0) @ (tlist @ A0)))
(cHD,(tfun @ (tlist @ A0) @ A0))
(cISO,(tfun @ (tfun @ A1 @ A0) @ (tfun @ (tfun @ A0 @ A1) @ tbool)))
(cCONS,(tfun @ A0 @ (tfun @ (tlist @ A0) @ (tlist @ A0))))
(cNIL,(tlist @ A0))
(c_dest_list,(tfun @ (tlist @ A0) @ (trecspace @ A0)))
(c_mk_list,(tfun @ (trecspace @ A0) @ (tlist @ A0)))
(cSOME,(tfun @ A0 @ (toption @ A0)))
(cNONE,(toption @ A0))
(c_dest_option,(tfun @ (toption @ A0) @ (trecspace @ A0)))
(c_mk_option,(tfun @ (trecspace @ A0) @ (toption @ A0)))
(cOUTR,(tfun @ (tsum @ A0 @ A1) @ A1))
(cOUTL,(tfun @ (tsum @ A1 @ A0) @ A1))
(cINR,(tfun @ A1 @ (tsum @ A0 @ A1)))
(cINL,(tfun @ A0 @ (tsum @ A0 @ A1)))
(c_dest_sum,(tfun @ (tsum @ A0 @ A1) @ (trecspace @ (tprod @ A0 @ A1))))
(c_mk_sum,(tfun @ (trecspace @ (tprod @ A0 @ A1)) @ (tsum @ A0 @ A1)))
(cFNIL,(tfun @ tnum @ A0))
(cFCONS,(tfun @ A0 @ (tfun @ (tfun @ tnum @ A0) @ (tfun @ tnum @ A0))))
(cCONSTR,(tfun @ tnum @ (tfun @ A0 @ (tfun @ (tfun @ tnum @ (trecspace @ A0)) @ (trecspace @ A0)))))
(cBOTTOM,(trecspace @ A0))
(c_dest_rec,(tfun @ (trecspace @ A0) @ (tfun @ tnum @ (tfun @ A0 @ tbool))))
(c_mk_rec,(tfun @ (tfun @ tnum @ (tfun @ A0 @ tbool)) @ (trecspace @ A0)))
(cZRECSPACE,(tfun @ (tfun @ tnum @ (tfun @ A0 @ tbool)) @ tbool))
(cZBOT,(tfun @ tnum @ (tfun @ A0 @ tbool)))
(cZCONSTR,(tfun @ tnum @ (tfun @ A0 @ (tfun @ (tfun @ tnum @ (tfun @ tnum @ (tfun @ A0 @ tbool))) @ (tfun @ tnum @ (tfun @ A0 @ tbool))))))
(cINJP,(tfun @ (tfun @ tnum @ (tfun @ A0 @ tbool)) @ (tfun @ (tfun @ tnum @ (tfun @ A0 @ tbool)) @ (tfun @ tnum @ (tfun @ A0 @ tbool)))))
(cINJF,(tfun @ (tfun @ tnum @ (tfun @ tnum @ (tfun @ A0 @ tbool))) @ (tfun @ tnum @ (tfun @ A0 @ tbool))))
(cINJA,(tfun @ A0 @ (tfun @ tnum @ (tfun @ A0 @ tbool))))
(cINJN,(tfun @ tnum @ (tfun @ tnum @ (tfun @ A0 @ tbool))))
(cNUMRIGHT,(tfun @ tnum @ tnum))
(cNUMLEFT,(tfun @ tnum @ tbool))
(cNUMSUM,(tfun @ tbool @ (tfun @ tnum @ tnum)))
(cNUMSND,(tfun @ tnum @ tnum))
(cNUMFST,(tfun @ tnum @ tnum))
(cNUMPAIR,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cMEASURE,(tfun @ (tfun @ A0 @ tnum) @ (tfun @ A0 @ (tfun @ A0 @ tbool))))
(cWF,(tfun @ (tfun @ A0 @ (tfun @ A0 @ tbool)) @ tbool))
(cminimal,(tfun @ (tfun @ tnum @ tbool) @ tnum))
(cMOD,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cDIV,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cFACT,(tfun @ tnum @ tnum))
(c-,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cODD,(tfun @ tnum @ tbool))
(cEVEN,(tfun @ tnum @ tbool))
(cMIN,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cMAX,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(c>,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(c>=,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(c<,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(c<=,(tfun @ tnum @ (tfun @ tnum @ tbool)))
(cEXP,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(c*,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(c+,(tfun @ tnum @ (tfun @ tnum @ tnum)))
(cPRE,(tfun @ tnum @ tnum))
(cBIT1,(tfun @ tnum @ tnum))
(cBIT0,(tfun @ tnum @ tnum))
(cNUMERAL,(tfun @ tnum @ tnum))
(cSUC,(tfun @ tnum @ tnum))
(c_0,tnum)
(cdest_num,(tfun @ tnum @ tind))
(cmk_num,(tfun @ tind @ tnum))
(cNUM_REP,(tfun @ tind @ tbool))
(cIND_0,tind)
(cIND_SUC,(tfun @ tind @ tind))
(cONTO,(tfun @ (tfun @ A0 @ A1) @ tbool))
(cONE_ONE,(tfun @ (tfun @ A0 @ A1) @ tbool))
(cPASSOC,(tfun @ (tfun @ (tprod @ (tprod @ A0 @ A1) @ A2) @ A3) @ (tfun @ (tprod @ A0 @ (tprod @ A1 @ A2)) @ A3)))
(cUNCURRY,(tfun @ (tfun @ A0 @ (tfun @ A1 @ A2)) @ (tfun @ (tprod @ A0 @ A1) @ A2)))
(cCURRY,(tfun @ (tfun @ (tprod @ A0 @ A1) @ A2) @ (tfun @ A0 @ (tfun @ A1 @ A2))))
(cSND,(tfun @ (tprod @ A0 @ A1) @ A1))
(cFST,(tfun @ (tprod @ A1 @ A0) @ A1))
(c__comma__,(tfun @ A0 @ (tfun @ A1 @ (tprod @ A0 @ A1))))
(cREP_prod,(tfun @ (tprod @ A0 @ A1) @ (tfun @ A0 @ (tfun @ A1 @ tbool))))
(cABS_prod,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tprod @ A0 @ A1)))
(cmk_pair,(tfun @ A0 @ (tfun @ A1 @ (tfun @ A0 @ (tfun @ A1 @ tbool)))))
(c_FUNCTION,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tfun @ A0 @ A1)))
(c_MATCH,(tfun @ A0 @ (tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ A1)))
(c_GUARDED_PATTERN,(tfun @ tbool @ (tfun @ tbool @ (tfun @ tbool @ tbool))))
(c_UNGUARDED_PATTERN,(tfun @ tbool @ (tfun @ tbool @ tbool)))
(c_SEQPATTERN,(tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tfun @ (tfun @ A0 @ (tfun @ A1 @ tbool)) @ (tfun @ A0 @ (tfun @ A1 @ tbool)))))
(cGEQ,(tfun @ A0 @ (tfun @ A0 @ tbool)))
(cGABS,(tfun @ (tfun @ A0 @ tbool) @ A0))
(cLET_END,(tfun @ A0 @ A0))
(cLET,(tfun @ (tfun @ A0 @ A1) @ (tfun @ A0 @ A1)))
(cone,t1)
(cone_REP,(tfun @ t1 @ tbool))
(cone_ABS,(tfun @ tbool @ t1))
(cI,(tfun @ A0 @ A0))
(co,(tfun @ (tfun @ A0 @ A2) @ (tfun @ (tfun @ A1 @ A0) @ (tfun @ A1 @ A2))))
(cCOND,(tfun @ tbool @ (tfun @ A0 @ (tfun @ A0 @ A0))))
(c__at__,(tfun @ (tfun @ A0 @ tbool) @ A0))
(c?!,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(c~,(tfun @ tbool @ tbool))
(cF,tbool)
(c__caret__/,(tfun @ tbool @ (tfun @ tbool @ tbool)))
(c?,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(c!,(tfun @ (tfun @ A0 @ tbool) @ tbool))
(c==>,(tfun @ tbool @ (tfun @ tbool @ tbool)))
(c/__caret__,(tfun @ tbool @ (tfun @ tbool @ tbool)))
(cT,tbool)
(c=,(tfun @ A0 @ (tfun @ A0 @ tbool)))