Documentation

d__'8799'__10 :: T_Level_14 -> T_Lift_8 -> T_Lift_8 -> T_Dec_32 Source #

du__'8799'__10 :: T_Dec_32 Source #

d_'8801''45'setoid_14 :: T_Level_14 -> T_Setoid_44 Source #

du_'8801''45'setoid_14 :: T_Setoid_44 Source #

d_'8801''45'decSetoid_18 :: T_Level_14 -> T_DecSetoid_84 Source #

du_'8801''45'decSetoid_18 :: T_DecSetoid_84 Source #

d_'8801''45'total_20 :: T_Level_14 -> T_Lift_8 -> T_Lift_8 -> T__'8846'__30 Source #

du_'8801''45'total_20 :: T__'8846'__30 Source #

d_'8801''45'antisym_22 :: T_Level_14 -> T_Lift_8 -> T_Lift_8 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #

d_'8801''45'isPreorder_28 :: T_Level_14 -> T_IsPreorder_70 Source #

du_'8801''45'isPreorder_28 :: T_IsPreorder_70 Source #

d_'8801''45'isPartialOrder_36 :: T_Level_14 -> T_IsPartialOrder_162 Source #

du_'8801''45'isPartialOrder_36 :: T_IsPartialOrder_162 Source #

d_'8801''45'isTotalOrder_42 :: T_Level_14 -> T_IsTotalOrder_380 Source #

du_'8801''45'isTotalOrder_42 :: T_IsTotalOrder_380 Source #

d_'8801''45'isDecTotalOrder_48 :: T_Level_14 -> T_IsDecTotalOrder_430 Source #

du_'8801''45'isDecTotalOrder_48 :: T_IsDecTotalOrder_430 Source #

d_'8801''45'preorder_54 :: T_Level_14 -> T_Preorder_132 Source #

du_'8801''45'preorder_54 :: T_Preorder_132 Source #

d_'8801''45'poset_60 :: T_Level_14 -> T_Poset_282 Source #

du_'8801''45'poset_60 :: T_Poset_282 Source #

d_'8801''45'totalOrder_66 :: T_Level_14 -> T_TotalOrder_648 Source #

du_'8801''45'totalOrder_66 :: T_TotalOrder_648 Source #

d_'8801''45'decTotalOrder_72 :: T_Level_14 -> T_DecTotalOrder_736 Source #

du_'8801''45'decTotalOrder_72 :: T_DecTotalOrder_736 Source #