{-# OPTIONS --exact-split --safe --prop #-}
module Operation.Binary where

open import Operation.Binary.Definition public
open import Operation.Binary.Property public
open import Operation.Binary.Lattice public
