rest-rewrite-0.3.0: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.KBO

Documentation

kbo :: SolverHandle -> OCAlgebra (SMTExpr Bool) RuntimeTerm IO Source #

kboGTE :: RuntimeTerm -> RuntimeTerm -> SMTExpr Bool Source #