Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_'8776''45'trans_18 ∷ T_Float_6 → T_Float_6 → T_Float_6 → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #
d_'8776''45'subst_22 ∷ T_Level_18 → (T_Float_6 → ()) → T_Float_6 → T_Float_6 → T__'8801'__12 → AgdaAny → AgdaAny Source #