let pp_formal_simple fmt = function | Fpref n -> Format.fprintf fmt "Fpref %d" n | Faref n -> Format.fprintf fmt "Faref %d" n