(let cond-add-inv
  (fn (x cond) (Int Bool) Int
    (if cond (* -1 x) x)
  )
)