Untyped.Relation.Binary

module Untyped.Relation.Binary where

open import Untyped.Relation.Binary.Core public
open import Untyped.Relation.Binary.Properties public
open import Untyped.Relation.Binary.Structures public