proof_status: proof_status; (** logical status *)
options: options;
objects: UriManager.uri list; (** in-scope objects *)
- coercions: UriManager.uri list; (** defined coercions *)
+ coercions: UriManager.uri list; (** defined coercions *)
+ universe:Universe.universe; (** universe of terms used by auto *)
}
val dump_status : status -> unit