{-# OPTIONS_GHC -Wunused-imports #-}

module Agda.Compiler.Builtin where

import {-# SOURCE #-} Agda.Compiler.Backend

builtinBackends :: [Backend]