twee-0.1: An equational theorem prover

Safe HaskellNone
LanguageHaskell2010

Twee.KBO

Documentation

lessEq :: Function f => Term f -> Term f -> Bool Source #

lessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #

sizeLessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #

minimumIn :: Function f => Model f -> Map Var Int -> Maybe Int Source #

lexLessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #