type u = union `Some int `None ;; const main = { var v : u v = `None }