Sig.With_Context
module Context : Context
val root_context : unit -> Context.t
Opens a new context, corresponding to the initial scope.
val context_pretty : Stdlib.Format.formatter -> Context.t -> unit
Dumps what is known about the current context: useful for debugging.