Documentation

d_'8868''45'irrelevant_6 ∷ T_'8868'_6 → T_'8868'_6 → T__'8801'__12 Source #

d__'8799'__8 ∷ T_'8868'_6 → T_'8868'_6 → T_Dec_20 Source #

du__'8799'__8 ∷ T_Dec_20 Source #

d_'8801''45'setoid_10 ∷ T_Setoid_46 Source #

d_'8801''45'decSetoid_12 ∷ T_DecSetoid_90 Source #

d_'8801''45'total_14 ∷ T_'8868'_6 → T_'8868'_6 → T__'8846'__30 Source #

du_'8801''45'total_14 ∷ T__'8846'__30 Source #

d_'8801''45'antisym_16 ∷ T_'8868'_6 → T_'8868'_6 → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_'8801''45'isPreorder_20 ∷ T_IsPreorder_76 Source #

d_'8801''45'isPartialOrder_24 ∷ T_IsPartialOrder_248 Source #

d_'8801''45'isTotalOrder_26 ∷ T_IsTotalOrder_488 Source #

d_'8801''45'isDecTotalOrder_28 ∷ T_IsDecTotalOrder_546 Source #

d_'8801''45'poset_30 ∷ T_Poset_492 Source #

d_'8801''45'decTotalOrder_32 ∷ T_DecTotalOrder_1098 Source #