{-# OPTIONS --exact-split --safe --prop  #-}
module Proof where

open import Proof.Definition public
open import Relation.Binary using (subrel) public
open import Relation.Binary.ReflexiveTransitiveClosure.Proof public

