IRTS.Defunctionalise

data DExp

data DAlt

data DDecl

type DDefs

defunctionalise

getFn

addApps

eEVAL

data EvalApply a

toCons

toConsA

mkApplyCase

mkEval

mkApply

mkApply2

declare

genArgs

mkFnCon

mkUnderCon

mkBigCase

groupsOf

dumpDefuns