Source code on Github
module Class.HasOrder where

open import Class.HasOrder.Core public
open import Class.HasOrder.Instance public