Documentation

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

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

d_'8776''45'refl_10 ∷ Word64 → T__'8801'__12 Source #

d_'8776''45'sym_12 ∷ Word64 → Word64 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'trans_14 ∷ Word64 → Word64 → Word64 → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'subst_18 ∷ T_Level_18 → (Word64 → ()) → Word64 → Word64 → T__'8801'__12 → AgdaAny → AgdaAny Source #

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

d__'8776''63'__26 ∷ Word64 → Word64 → T_Dec_20 Source #

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

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

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

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

d__'8799'__52 ∷ Word64 → Word64 → T_Dec_20 Source #

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

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

d__'61''61'__62 ∷ Word64 → Word64 → Bool Source #

d__'60''63'__68 ∷ Word64 → Word64 → T_Dec_20 Source #

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