Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_'8869'_4 ∷ () Source #
data T_'8869'_4 Source #
d_'8869''45'elim_10 ∷ T_Level_18 → () → T_'8869'_4 → AgdaAny Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
d_'8869'_4 ∷ () Source #
data T_'8869'_4 Source #
d_'8869''45'elim_10 ∷ T_Level_18 → () → T_'8869'_4 → AgdaAny Source #