path: root/solutions/cond-add-inv/a.slip

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