{-# OPTIONS --exact-split --safe --prop #-}
module Proposition.Identity.Heterogeneous where

open import Proposition.Identity.Heterogeneous.Definition public
open import Proposition.Identity.Heterogeneous.Property public

