IR.PpDetailLevel
type t =
| FullNameOnly
| NameOnly
| Non_verbose
| Simple
| Verbose
val is_verbose : t -> bool