Minus Operator

The following is a valid µOCCAM program. Tests the monadic and dyadic negative operator.

INT var:

SEQ
  var := 10 - (-5)