Documentation

d_'8776''8658''8801'_6 ∷ T_String_6 → T_String_6 → T_Pointwise_48 → T__'8801'__12 Source #

d_'8776''45'reflexive_8 ∷ T_String_6 → T_String_6 → T__'8801'__12 → T_Pointwise_48 Source #

du_'8776''45'reflexive_8 ∷ T_String_6 → T_Pointwise_48 Source #

d_'8776''45'refl_10 ∷ T_String_6 → T_Pointwise_48 Source #

d_'8776''45'sym_14 ∷ T_String_6 → T_String_6 → T_Pointwise_48 → T_Pointwise_48 Source #

d_'8776''45'trans_16 ∷ T_String_6 → T_String_6 → T_String_6 → T_Pointwise_48 → T_Pointwise_48 → T_Pointwise_48 Source #

d_'8776''45'subst_20 ∷ T_Level_18 → (T_String_6 → ()) → T_String_6 → T_String_6 → T_Pointwise_48 → AgdaAny → AgdaAny Source #

du_'8776''45'subst_20 ∷ AgdaAny → AgdaAny Source #

d__'8776''63'__28 ∷ T_String_6 → T_String_6 → T_Dec_32 Source #

d_'8776''45'isEquivalence_34 ∷ T_IsEquivalence_26 Source #

d_'8776''45'setoid_48 ∷ T_Setoid_44 Source #

d_'8776''45'isDecEquivalence_50 ∷ T_IsDecEquivalence_44 Source #

d_'8776''45'decSetoid_52 ∷ T_DecSetoid_84 Source #

d__'8799'__54 ∷ T_String_6 → T_String_6 → T_Dec_32 Source #

d_'8801''45'setoid_60 ∷ T_Setoid_44 Source #

d_'8801''45'decSetoid_62 ∷ T_DecSetoid_84 Source #

d__'60''63'__64 ∷ T_String_6 → T_String_6 → T_Dec_32 Source #

d_'60''45'isStrictPartialOrder'45''8776'_70 ∷ T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder'45''8776'_72 ∷ T_IsStrictTotalOrder_502 Source #

d_'60''45'strictPartialOrder'45''8776'_74 ∷ T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder'45''8776'_76 ∷ T_StrictTotalOrder_864 Source #

d_'8804''45'isDecPartialOrder'45''8776'_78 ∷ T_IsDecPartialOrder_206 Source #

d_'8804''45'decPoset'45''8776'_80 ∷ T_DecPoset_360 Source #

d__'61''61'__82 ∷ T_String_6 → T_String_6 → Bool Source #

d_setoid_96 ∷ T_Setoid_44 Source #

d_decSetoid_98 ∷ T_DecSetoid_84 Source #

d_strictTotalOrder_100 ∷ T_StrictTotalOrder_864 Source #