| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Reasoning.Setoid
Documentation
d__IsRelatedTo__40 ∷ p → p → p → p → p → () Source #
d_begin__44 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny Source #
d_start_48 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny Source #
d_step'45''8801'_52 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801'_52 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''8739'_54 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''10216'_56 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''45''10216'_56 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''10217'_58 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''45''10217'_58 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''728'_60 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''728'_60 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_'8764''45'go_64 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
du_'8764''45'go_64 ∷ T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_'8801''45'go_66 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_step'45''8776'_74 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
du_step'45''8776'_74 ∷ T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
d_step'45''8776''45''10216'_76 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
du_step'45''8776''45''10216'_76 ∷ T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
d_step'45''8776''45''10217'_78 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
du_step'45''8776''45''10217'_78 ∷ T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #