module Expr.Negate where

y = 1
x = -y