| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core
Documentation
d__'8773'__22 ∷ p → p → p → p → p → p → () Source #
data T__'8773'__22 Source #
Constructors
| C_refl_28 |
d_'8773''45'to'45''8801'_34 ∷ T_Level_18 → () → AgdaAny → AgdaAny → T__'8773'__22 → T__'8801'__12 Source #
d_'8801''45'to'45''8773'_40 ∷ T_Level_18 → () → AgdaAny → AgdaAny → T__'8801'__12 → T__'8773'__22 Source #