rest-rewrite-0.4.1: Rewriting library with online termination checking

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST

Synopsis

adtRPO :: (Handle, Handle) -> OCAlgebra (ConstraintsADT Op) RuntimeTerm IO

Documentation

adtRPO :: (Handle, Handle) -> OCAlgebra (ConstraintsADT Op) RuntimeTerm IO Source #

adtRPO Is an ordering constraint algebra derived from the recursive path ordering; it is a useful general-purpose OCA.