let is_some (x : 'a option) =
  match x with
    None -> false
  | Some _ -> true