Language.REST.LPO
lpo :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #
Constraint generator for a quasi-order extension to the Lexicographic path ordering
lpoStrict :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #
Constraint generator for a strict version of the quasi-order extension to the Lexicographic path ordering.