------------------------------------------------------------------------ -- The Agda standard library -- -- Pointwise lifting of binary relations to sigma types -- -- This module is DEPRECATED. Please use -- Data.Product.Relation.Pointwise.Dependent directly. ------------------------------------------------------------------------ module Relation.Binary.Sigma.Pointwise where open import Data.Product.Relation.Pointwise.Dependent public