Source code on Github
{-# OPTIONS --cubical-compatible --rewriting --no-sized-types --no-guardedness #-}

module Agda.Builtin.Equality.Rewrite where

open import Agda.Builtin.Equality

{-# BUILTIN REWRITE _≡_ #-}