RSolve.Solver

Documentation

class AtomF a => CtxSolver s a where

Methods

solve :: a -> MS s ()

Give a atom formula and solve it

Instances

CtxSolver TCEnv Unif

Defined in RSolve.HM

Methods

solve :: Unif -> MS TCEnv ()