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_20 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_20 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_20 Source #

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

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

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

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

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

d_'8804''45'isDecTotalOrder'45''8776'_80 ∷ T_IsDecTotalOrder_460 Source #

d_'8804''45'decTotalOrder'45''8776'_82 ∷ T_DecTotalOrder_866 Source #

d_'8804''45'decPoset'45''8776'_84 ∷ T_DecPoset_406 Source #

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