Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d__'8759''691'''__14 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → T_SnocView_304 Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
d__'8759''691'''__14 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → T_SnocView_304 Source #