Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
sizeLessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
sizeLessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #