Module `Printmod`

val pr_mutual_inductive_body : Environ.env -> Names.MutInd.t -> Declarations.mutual_inductive_body -> UnivNames.full_name_list option -> Pp.t
val print_module : with_body:bool -> Names.ModPath.t -> Pp.t
val print_modtype : Names.ModPath.t -> Pp.t