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

du__'8799'__8 ∷ T_Dec_32 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_162 Source #

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

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

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

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

d_'8804''45'reflexive_34 ∷ T_'8868'_6 → T_'8868'_6 → T__'8801'__12 → T__'8804'__10 Source #

d_'8804''45'trans_36 ∷ T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → T__'8804'__10 → T__'8804'__10 → T__'8804'__10 Source #

d_'8804''45'antisym_38 ∷ T_'8868'_6 → T_'8868'_6 → T__'8804'__10 → T__'8804'__10 → T__'8801'__12 Source #

d_'8804''45'total_40 ∷ T_'8868'_6 → T_'8868'_6 → T__'8846'__30 Source #

du_'8804''45'total_40 ∷ T__'8846'__30 Source #

d__'8804''63'__42 ∷ T_'8868'_6 → T_'8868'_6 → T_Dec_32 Source #

du__'8804''63'__42 ∷ T_Dec_32 Source #

d_'8804''45'isPreorder_44 ∷ T_IsPreorder_70 Source #

d_'8804''45'isPartialOrder_46 ∷ T_IsPartialOrder_162 Source #

d_'8804''45'isTotalOrder_48 ∷ T_IsTotalOrder_384 Source #

d_'8804''45'isDecTotalOrder_50 ∷ T_IsDecTotalOrder_434 Source #

d_'8804''45'poset_52 ∷ T_Poset_282 Source #

d_'8804''45'decTotalOrder_54 ∷ T_DecTotalOrder_740 Source #