one | SubHask.Algebra, SubHask |
ones | SubHask.Algebra, SubHask |
or | SubHask.Algebra, SubHask |
Ord | SubHask.Algebra, SubHask |
Order | SubHask.Category.Finite |
Ordering | SubHask.Algebra, SubHask |
OrdField | SubHask.Algebra, SubHask |
OrdHask | SubHask.Category.Trans.Constrained |
OrdRing_ | SubHask.Algebra.Logic |
Ord_ | SubHask.Algebra, SubHask |
otherwise | SubHask |