Agda.Compiler.Treeless.DelayCoinduction

delayCoinduction

transform

outputIsInf

underLambdas