ddtree :: DDefs Ty2 Source #

stree :: DDefs Ty2 Source #

ddexpr :: DDefs Ty2 Source #

ddsnoclist :: DDefs Ty2 Source #

add1Fun :: FunDef2 Source #

add1TraversedFun :: FunDef2 Source #

id1Fun :: FunDef2 Source #

copyTreeFun :: FunDef2 Source #

id2Fun :: FunDef2 Source #

id3Fun :: FunDef2 Source #

intAddFun :: FunDef2 Source #

leftmostFun :: FunDef2 Source #

buildLeafFun :: FunDef2 Source #

testProdFun :: FunDef2 Source #

add1Prog :: Prog2 Source #

id1Prog :: Prog2 Source #

copyTreeProg :: Prog2 Source #

id2Prog :: Prog2 Source #

copyOnId1Prog :: Prog2 Source #

id3Prog :: Prog2 Source #

intAddProg :: Prog2 Source #

leftmostProg :: Prog2 Source #

buildLeafProg :: Prog2 Source #

testProdProg :: Prog2 Source #

nodeProg :: Prog2 Source #

leafProg :: Prog2 Source #

testFlattenProg :: Prog2 Source #

rightmostProg :: Prog2 Source #

buildTreeProg :: Prog2 Source #

buildTreeSumProg :: Prog2 Source #

printTupProg :: Prog2 Source #

addTreesProg :: Prog2 Source #

printTupProg2 :: Prog2 Source #

buildSTreeProg :: Prog2 Source #

sumUpProg :: Prog2 Source #

setEvenProg :: Prog2 Source #

sumUpSetEvenProg :: Prog2 Source #

substProg :: Prog2 Source #

buildTwoTreesProg :: Prog2 Source #

sumTreeProg :: Prog2 Source #

sumSTreeProg :: Prog2 Source #

indrRightmostProg :: Prog2 Source #

indrBuildTreeProg :: Prog2 Source #

indrIDProg :: Prog2 Source #

indrIDSumProg :: Prog2 Source #