{-# OPTIONS --safe #-}
module Data.Reflection where

open import Data.Reflection.Abs      public
open import Data.Reflection.Argument public
open import Data.Reflection.Error    public
open import Data.Reflection.Fixity   public
open import Data.Reflection.Literal  public
open import Data.Reflection.Meta     public
open import Data.Reflection.Name     public
open import Data.Reflection.Term     public

open import Data.Reflection.Properties           public
open import Data.Reflection.Instances.Everything public
