Agda-2.6.4.2: src/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda

{-# OPTIONS --cubical-compatible --rewriting --no-sized-types --no-guardedness --level-universe #-}

module Agda.Builtin.Equality.Rewrite where

open import Agda.Builtin.Equality

{-# BUILTIN REWRITE _≡_ #-}