let pp_print_option ~f ppf = 
  function
      None -> ()
    | Some e -> 
        (f ppf e : unit)