twee-0.1: An equational theorem prover
Twee.LPO
lessEq :: Function f => Term f -> Term f -> Bool Source #
lessIn :: Function f => Model f -> Term f -> Term f -> Maybe Strictness Source #