UniqueLogic.ST.TF.Example.Term

This module is intended for documentation purposes. Do not import it!

Documentation

data T

Constructors

Const Rational

Var Name

Max T T

Add T T

Sub T T

Mul T T

Div T T

Abs T

Signum T

Instances

Fractional T

Num T

Show T

type Name = String