{-# OPTIONS --safe #-} module Cubical.Relation.Binary.Order.Poset where open import Cubical.Relation.Binary.Order.Poset.Base public open import Cubical.Relation.Binary.Order.Poset.Properties public