Jkind.Format_verbosity
type t =
| Not_verbose
Normal, user-friendly printing
| Expanded
Don't write the jkind in terms of any aliases.
| Expanded_with_all_mod_bounds
Like Expanded, but also explicitly write all mod bounds, even top ones.
Expanded