type t = private {coqlib : string;vo_load_path : Loadpath.vo_path list;ml_include_path : string list;require_libs : (string * string option * Vernacexpr.export_with_cats option)
list;indices_matter : bool;impredicative_set : bool;kind : string;How the workspace was built
*)debug : bool;Enable backtraces
*)}val describe : t -> string * stringuser message, debug extra data
module CmdLine : sig ... endval apply : uri:Lang.LUri.File.t -> t -> unitapply libname w will prepare Coq for a new file libname on workspace w