{-# OPTIONS --without-K #-}
module Class.HasOrder where
 
open import Class.HasOrder.Core public
open import Class.HasOrder.Instances public