Agda.Compiler.Epic.LambdaLift

type LL

lambdaLift

lambdaLiftFun

lambdaLiftExpr