Up

module Envaux

: sig

#

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

end