Arguments_renamingval rename_arguments : bool -> Names.GlobRef.t -> Names.Name.t list -> unitval arguments_names : Environ.env -> Names.GlobRef.t -> Names.Name.t listNot_found is raised if no names are defined for r
val rename_type : Environ.env -> Constr.types -> Names.GlobRef.t -> Constr.typesval rename_typing : Environ.env -> Constr.constr -> Environ.unsafe_judgmentTypechecks using the kernel Typeops.infer