val env_from_summary : Env.summary -> Subst.t -> Env.texception Error of errorval report_error : error Format_doc.format_printerval report_error_doc : error Format_doc.printerval env_from_summary : Env.summary -> Subst.t -> Env.texception Error of errorval report_error : error Format_doc.format_printerval report_error_doc : error Format_doc.printer