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