Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_invIsPreorder_64 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → T_IsPreorder_70 Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
d_invIsPreorder_64 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Preorder_132 → T_IsPreorder_70 Source #