Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

An implementation of Knuth-Bendix ordering.

# Documentation

lessEq :: (Function f, Sized f, Weighted f) => Term f -> Term f -> Bool Source #

Check if one term is less than another in KBO.

lessIn :: (Function f, Sized f, Weighted f) => Model f -> Term f -> Term f -> Maybe Strictness Source #

Check if one term is less than another in a given model.