| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Reasoning.Setoid
Documentation
d__IsRelatedTo__38 ∷ p → p → p → p → p → () Source #
d_step'45''8801'_50 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''728'_52 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8776'_58 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
du_step'45''8776'_58 ∷ T_Setoid_44 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #