RSolve-2.0.0.0

RSolve.Solver

class AtomF a => CtxSolver s a where Source #

Methods

solve :: a -> MS s () Source #

Give a atom formula and solve it

Defined in RSolve.HM

solve :: Unif -> MS TCEnv () Source #