type foobar is option (int)

const s : foobar = Some (42)

const n : foobar = None

function assign (var m : int) : foobar is
block {
  var coco : foobar := None;
  coco := Some (m);
  coco := (None : foobar)
} with coco