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

d_'8801''45'isDecTotalOrder_28 :: T_IsDecTotalOrder_430 Source #

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

d_'8801''45'decTotalOrder_32 :: T_DecTotalOrder_736 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_380 Source #

d_'8804''45'isDecTotalOrder_50 :: T_IsDecTotalOrder_430 Source #

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

d_'8804''45'decTotalOrder_54 :: T_DecTotalOrder_736 Source #