datavtype option(a: vt@ype) =
  | Some of a
  | None