123456789101112131415161718-------------------------------------------------------------------------- The Agda standard library---- Properties of homogeneous binary relations------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Relation.Binary where -------------------------------------------------------------------------- Re-export various components of the binary relation hierarchy open import Relation.Binary.Core publicopen import Relation.Binary.Definitions publicopen import Relation.Binary.Structures publicopen import Relation.Binary.Structures.Biased publicopen import Relation.Binary.Bundles public