Test.QuickSpec.Equation

Equations.

Documentation

data Equation

Constructors

Term :=: Term

Instances

Eq Equation

Ord Equation

Show Equation

showEquation :: Sig -> Equation -> String

equations :: [[Tagged Term]] -> [Equation]