Documentation

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

d_'8776''45'reflexive_10 :: T_Float_6 -> T_Float_6 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'refl_14 :: T_Float_6 -> T__'8801'__12 #

d_'8776''45'sym_16 :: T_Float_6 -> T_Float_6 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'trans_18 :: T_Float_6 -> T_Float_6 -> T_Float_6 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_'8776''45'subst_22 :: T_Level_18 -> (T_Float_6 -> ()) -> T_Float_6 -> T_Float_6 -> T__'8801'__12 -> AgdaAny -> AgdaAny #

du_'8776''45'subst_22 :: AgdaAny -> AgdaAny #

d__'8776''63'__30 :: T_Float_6 -> T_Float_6 -> T_Dec_20 #

d_'8776''45'isEquivalence_32 :: T_IsEquivalence_26 #

d_'8776''45'setoid_46 :: T_Setoid_44 #

d_'8776''45'isDecEquivalence_48 :: T_IsDecEquivalence_44 #

d_'8776''45'decSetoid_50 :: T_DecSetoid_84 #

d__'8799'__52 :: T_Float_6 -> T_Float_6 -> T_Dec_20 #

d_'8801''45'setoid_58 :: T_Setoid_44 #

d_'8801''45'decSetoid_60 :: T_DecSetoid_84 #

d_toWord'45'injective_62 :: T_Float_6 -> T_Float_6 -> T__'8801'__12 -> T__'8801'__12 #