| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Product
Documentation
d__'215''45'reflects__18 ∷ T_Level_18 → () → T_Level_18 → () → Bool → Bool → T_Reflects_14 → T_Reflects_14 → T_Reflects_14 Source #
d__'215''45'dec__30 ∷ T_Level_18 → () → T_Level_18 → () → T_Dec_32 → T_Dec_32 → T_Dec_32 Source #