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

Arith

Documentation

neg :: MetaTerm -> MetaTerm Source #

double :: MetaTerm -> MetaTerm Source #

twicePlus :: MetaTerm -> MetaTerm -> MetaTerm Source #

(<#) :: MetaTerm -> MetaTerm -> MetaTerm Source #

evalRWs :: HashSet Rewrite Source #

userRWs :: HashSet Rewrite Source #