Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_'172'__6 ∷ T_Level_18 → () → () Source #
d_Reflects_14 ∷ p → p → p → () Source #
d_recompute_60 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → AgdaAny Source #
d_Irrelevant_70 ∷ T_Level_18 → () → () Source #