------------------------------------------------------------------------ -- The Agda standard library -- -- Pointwise products of binary relations -- -- This module is DEPRECATED. Please use -- Data.Product.Relation.Pointwise.NonDependent directly. ------------------------------------------------------------------------ module Relation.Binary.Product.Pointwise where open import Data.Product.Relation.Pointwise.NonDependent public