Documentation

d_setoid_4 :: T_Setoid_44 Source #

d_decSetoid_6 :: T_DecSetoid_84 Source #

d_total_8 :: T_'8868'_6 -> T_'8868'_6 -> T__'8846'__30 Source #

d_poset_10 :: T_Poset_282 Source #

d_decTotalOrder_12 :: T_DecTotalOrder_736 Source #

d_preorder_14 :: T_Preorder_132 Source #