Documentation

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

d_'8776''45'reflexive_10 ∷ T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'refl_14 ∷ T_Float_6 → T__'8801'__12 Source #

d_'8776''45'sym_16 ∷ T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'trans_18 ∷ T_Float_6 → T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'subst_22 ∷ T_Level_18 → (T_Float_6 → ()) → T_Float_6 → T_Float_6 → T__'8801'__12 → AgdaAny → AgdaAny Source #

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

d__'8776''63'__30 ∷ T_Float_6 → T_Float_6 → 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 ∷ T_Float_6 → T_Float_6 → T_Dec_20 Source #

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

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

d_toWord'45'injective_62 ∷ T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 Source #