UniqueLogic.ST.Example.Rule

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

Documentation

example :: (Maybe Double, Maybe Double, Maybe Double, Maybe Double)

x=1
y=2
z=3
w=3

x+y=3
y*z=6
z=3
y^w=8