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_44 Source #

d_'8801''45'decSetoid_12 ∷ T_DecSetoid_84 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_70 Source #

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

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

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

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

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