let pp fmt = function
  | None -> Format.fprintf fmt "v"
  | Some(i) -> Format.fprintf fmt "%s" (to_string i)