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