| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Sum
Documentation
d__'172''45''8846'__14 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T__'8846'__30 → T_'8869'_4 Source #
d__'8846''45'reflects__20 ∷ T_Level_18 → () → T_Level_18 → () → Bool → Bool → T_Reflects_14 → T_Reflects_14 → T_Reflects_14 Source #
d__'8846''45'dec__32 ∷ T_Level_18 → () → T_Level_18 → () → T_Dec_32 → T_Dec_32 → T_Dec_32 Source #