jon.recoil.org

Module Jkind.Format_verbositySource

Sourcetype t =
  1. | Not_verbose
    (*

    Normal, user-friendly printing

    *)
  2. | Expanded
    (*

    Don't write the jkind in terms of any aliases.

    *)
  3. | Expanded_with_all_mod_bounds
    (*

    Like Expanded, but also explicitly write all mod bounds, even top ones.

    *)