Module PrintmodSource

Sourceval printable_body : Names.DirPath.t -> bool

false iff the module is an element of an open module type

Sourceval pr_mutual_inductive_body : Environ.env -> Names.MutInd.t -> Declarations.mutual_inductive_body -> UnivNames.univ_name_list option -> Pp.t
Sourceval print_module : bool -> Names.ModPath.t -> Pp.t
Sourceval print_modtype : Names.ModPath.t -> Pp.t