module Cubical.Relation.Binary.Order.Pseudolattice where

open import Cubical.Relation.Binary.Order.Pseudolattice.Base public