Documentation

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

d_'8777''8658''8802'_8 :: T_Char_6 -> T_Char_6 -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T_'8869'_4 Source #

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

d__'8799'__14 :: T_Char_6 -> T_Char_6 -> T_Dec_32 Source #

d_setoid_20 :: T_Setoid_44 Source #

d_decSetoid_22 :: T_DecSetoid_84 Source #

d_isDecEquivalence_24 :: T_IsDecEquivalence_44 Source #

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

d__'60''63'__44 :: T_Char_6 -> T_Char_6 -> T_Dec_32 Source #

d_'60''45'cmp_46 :: T_Char_6 -> T_Char_6 -> T_Tri_136 Source #

d_'60''45'irrefl_86 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8804'__18 -> T_'8869'_4 Source #

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

d_'60''45'asym_96 :: T_Char_6 -> T_Char_6 -> T__'8804'__18 -> T__'8804'__18 -> T_'8869'_4 Source #

d_'60''45'isStrictPartialOrder_102 :: T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder_118 :: T_IsStrictTotalOrder_498 Source #

d_'60''45'strictPartialOrder_126 :: T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder_128 :: T_StrictTotalOrder_860 Source #

d__'8804''63'__130 :: T_Char_6 -> T_Char_6 -> T_Dec_32 Source #

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

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

d_'8804''45'trans_134 :: T_Char_6 -> T_Char_6 -> T_Char_6 -> T_ReflClosure_30 -> T_ReflClosure_30 -> T_ReflClosure_30 Source #

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

d_'8804''45'isPreorder_144 :: T_IsPreorder_70 Source #

d_'8804''45'isPartialOrder_146 :: T_IsPartialOrder_162 Source #

d_'8804''45'isDecPartialOrder_148 :: T_IsDecPartialOrder_206 Source #

d_'8804''45'preorder_150 :: T_Preorder_132 Source #

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

d_'8804''45'decPoset_154 :: T_DecPoset_360 Source #

d_toNat'45'injective_156 :: T_Char_6 -> T_Char_6 -> T__'8801'__12 -> T__'8801'__12 Source #

d_strictTotalOrder_158 :: T_StrictTotalOrder_860 Source #

d__'8776''63'__160 :: T_Char_6 -> T_Char_6 -> T_Dec_32 Source #

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

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

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

d_'8776''45'subst_174 :: T_Level_14 -> (T_Char_6 -> ()) -> T_Char_6 -> T_Char_6 -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #

du_'8776''45'subst_174 :: AgdaAny -> AgdaAny Source #

d_'8776''45'isEquivalence_182 :: T_IsEquivalence_26 Source #

d_'8776''45'setoid_196 :: T_Setoid_44 Source #

d_'8776''45'isDecEquivalence_198 :: T_IsDecEquivalence_44 Source #

d_'8776''45'decSetoid_200 :: T_DecSetoid_84 Source #

d_'8801''45'setoid_202 :: T_Setoid_44 Source #

d_'8801''45'decSetoid_204 :: T_DecSetoid_84 Source #

d_'60''45'isStrictPartialOrder'45''8776'_206 :: T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder'45''8776'_208 :: T_IsStrictTotalOrder_498 Source #

d_'60''45'strictPartialOrder'45''8776'_210 :: T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder'45''8776'_212 :: T_StrictTotalOrder_860 Source #