let pp_option pp_data fmt = function   | Some a -> pp_data fmt a   | None -> pp fmt "<none>"