Documentation

d_'8776''8658''8801'_6 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 #

d_'8777''8658''8802'_8 :: T_Char_6 -> T_Char_6 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8801'__12 -> T_Irrelevant_20 #

d_'8776''45'reflexive_12 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 #

d__'8799'__14 :: T_Char_6 -> T_Char_6 -> T_Dec_20 #

d_setoid_20 :: T_Setoid_44 #

d_decSetoid_22 :: T_DecSetoid_84 #

d_isDecEquivalence_24 :: T_IsDecEquivalence_44 #

d__'61''61'__26 :: T_Char_6 -> T_Char_6 -> Bool #

d__'60''63'__44 :: T_Char_6 -> T_Char_6 -> T_Dec_20 #

d_'60''45'cmp_46 :: T_Char_6 -> T_Char_6 -> T_Tri_158 #

d_'60''45'irrefl_86 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8804'__22 -> T_Irrelevant_20 #

d_'60''45'trans_88 :: T_Char_6 -> T_Char_6 -> T_Char_6 -> T__'8804'__22 -> T__'8804'__22 -> T__'8804'__22 #

d_'60''45'asym_96 :: T_Char_6 -> T_Char_6 -> T__'8804'__22 -> T__'8804'__22 -> T_Irrelevant_20 #

d_'60''45'isStrictPartialOrder_102 :: T_IsStrictPartialOrder_290 #

d_'60''45'isStrictTotalOrder_118 :: T_IsStrictTotalOrder_534 #

d_'60''45'strictPartialOrder_120 :: T_StrictPartialOrder_556 #

d_'60''45'strictTotalOrder_122 :: T_StrictTotalOrder_1036 #

d__'8804''63'__124 :: T_Char_6 -> T_Char_6 -> T_Dec_20 #

d_'8804''45'reflexive_126 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T_ReflClosure_30 #

du_'8804''45'reflexive_126 :: T__'8801'__12 -> T_ReflClosure_30 #

d_'8804''45'trans_128 :: T_Char_6 -> T_Char_6 -> T_Char_6 -> T_ReflClosure_30 -> T_ReflClosure_30 -> T_ReflClosure_30 #

d_'8804''45'antisym_136 :: T_Char_6 -> T_Char_6 -> T_ReflClosure_30 -> T_ReflClosure_30 -> T__'8801'__12 #

d_'8804''45'isPreorder_138 :: T_IsPreorder_70 #

d_'8804''45'isPartialOrder_140 :: T_IsPartialOrder_174 #

d_'8804''45'isDecPartialOrder_142 :: T_IsDecPartialOrder_224 #

d_'8804''45'preorder_144 :: T_Preorder_132 #

d_'8804''45'poset_146 :: T_Poset_314 #

d_'8804''45'decPoset_148 :: T_DecPoset_406 #

d_'8776''45'refl_150 :: T_Char_6 -> T__'8801'__12 #

d_'8776''45'sym_152 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'trans_154 :: T_Char_6 -> T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'subst_158 :: T_Level_18 -> (T_Char_6 -> ()) -> T_Char_6 -> T_Char_6 -> T__'8801'__12 -> AgdaAny -> AgdaAny #

du_'8776''45'subst_158 :: AgdaAny -> AgdaAny #

d__'8776''63'__166 :: T_Char_6 -> T_Char_6 -> T_Dec_20 #

d_'8776''45'isEquivalence_172 :: T_IsEquivalence_26 #

d_'8776''45'setoid_174 :: T_Setoid_44 #

d_'8776''45'isDecEquivalence_176 :: T_IsDecEquivalence_44 #

d_'8776''45'decSetoid_178 :: T_DecSetoid_84 #

d_'8801''45'setoid_180 :: T_Setoid_44 #

d_'8801''45'decSetoid_182 :: T_DecSetoid_84 #

d_'60''45'isStrictPartialOrder'45''8776'_184 :: T_IsStrictPartialOrder_290 #

d_'60''45'isStrictTotalOrder'45''8776'_186 :: T_IsStrictTotalOrder_534 #

d_'60''45'strictPartialOrder'45''8776'_188 :: T_StrictPartialOrder_556 #

d_'60''45'strictTotalOrder'45''8776'_190 :: T_StrictTotalOrder_1036 #