Package decord - Namespaces

• Control.Relation.TotalOrder

  Irreflexive and trichomotomous relations, and total orders
• Decidable.Equality.Eq

  A form of decidable equality compatible with Eq
• Decidable.EqOrd

  Provides a type for proving compatibility between Eq and Ord
• Decidable.Ordering