ddc-code-0.4.3.1: tetra/base/Class/Ord.ds

module Class.Ord
where


data Ordering where
        LT      : Ordering
        GT      : Ordering
        EQ      : Ordering


data Ord (k: Data) where
        Ord     : (k -> k -> Ordering) -> Ord k