objects: UriManager.uri list; (** in-scope objects *)
coercions: UriManager.uri list; (** defined coercions *)
universe:Universe.universe; (** universe of terms used by auto *)
objects: UriManager.uri list; (** in-scope objects *)
coercions: UriManager.uri list; (** defined coercions *)
universe:Universe.universe; (** universe of terms used by auto *)