{-# OPTIONS --without-K --safe #-}

module Tools.Reasoning.PropositionalEquality where

import Relation.Binary.PropositionalEquality as Eq

open Eq.≡-Reasoning public