module Agda.Compiler.Backend where

data Backend