• en

Module Envaux

val env_from_summary : Env.summary -> Subst.t -> Env.t
val reset_cache : unit -> unit
val env_of_only_summary : Env.t -> Env.t
type error =
| Module_not_found of Path.t
exception Error of error
val report_error : Format.formatter -> error -> unit