------------------------------------------------------------------------ -- The Agda standard library -- -- This module is DEPRECATED. Please use -- `Relation.Binary.Construct.Flip.EqAndOrd` instead. ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Relation.Binary.Construct.Converse where open import Relation.Binary.Construct.Flip.EqAndOrd public {-# WARNING_ON_IMPORT "Relation.Binary.Construct.Converse was deprecated in v2.0. Use Relation.Binary.Construct.Flip.EqAndOrd instead." #-}