Agda-2.6.0.1: A dependently typed functional programming language and proof assistant
Agda.Compiler.Treeless.EliminateDefaults
Description
Eliminates case defaults by adding an alternative for all possible constructors. Literal cases are preserved as-is.
eliminateCaseDefaults :: TTerm -> TCM TTerm Source #