let is_none = function
  | None -> true
  | Some _ -> false