Documentation

Init.Data.Char.Order

Imports

Init.Data.Char.Basic
Init.Data.Char.Lemmas
Init.Data.Order.Factories

Imported by

Char.instIsLinearOrder

Char.instLawfulOrderLT

instance Char.instIsLinearOrder :

Std.IsLinearOrder Char

instance Char.instLawfulOrderLT :

Std.LawfulOrderLT Char