Module Printmod

val printable_body : Names.DirPath.t -> bool

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

val pr_mutual_inductive_body : Environ.env -> Names.MutInd.t -> Declarations.mutual_inductive_body -> UnivNames.univ_name_list option -> Pp.t
type mod_ops = {
import_module : export:bool -> Names.ModPath.t -> unit;
process_module_binding : Names.MBId.t -> Declarations.module_alg_expr -> unit;
}
val print_module : mod_ops:mod_ops -> bool -> Names.ModPath.t -> Pp.t
val print_modtype : mod_ops:mod_ops -> Names.ModPath.t -> Pp.t