Documentation

d_'8868''45'irrelevant_6 :: T_'8868'_6 -> T_'8868'_6 -> T__'8801'__12 #

d__'8799'__8 :: T_'8868'_6 -> T_'8868'_6 -> T_Dec_20 #

du__'8799'__8 :: T_Dec_20 #

d_'8801''45'setoid_10 :: T_Setoid_44 #

d_'8801''45'decSetoid_12 :: T_DecSetoid_84 #

d_'8801''45'total_14 :: T_'8868'_6 -> T_'8868'_6 -> T__'8846'__30 #

du_'8801''45'total_14 :: T__'8846'__30 #

d_'8801''45'antisym_16 :: T_'8868'_6 -> T_'8868'_6 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_'8801''45'isPreorder_20 :: T_IsPreorder_70 #

d_'8801''45'isPartialOrder_24 :: T_IsPartialOrder_174 #

d_'8801''45'isTotalOrder_26 :: T_IsTotalOrder_404 #

d_'8801''45'isDecTotalOrder_28 :: T_IsDecTotalOrder_460 #

d_'8801''45'poset_30 :: T_Poset_314 #

d_'8801''45'decTotalOrder_32 :: T_DecTotalOrder_866 #