Agda.Compiler.Treeless.EliminateLiteralPatterns

eliminateLiteralPatterns

data BuiltinKit

transform