agda-unused-0.1.0: data/Agda/Builtin/Equality/Rewrite.agda

{-# OPTIONS --without-K --rewriting --no-sized-types --no-guardedness
            --no-subtyping #-}

module Agda.Builtin.Equality.Rewrite where

open import Agda.Builtin.Equality

{-# BUILTIN REWRITE _≡_ #-}