Coqloadpath
val init_load_path : coqenv:Boot.Env.t -> CUnix.physical_path list * Loadpath.vo_path list
Standard LoadPath for Rocq user libraries; in particular it includes (in-order) Rocq's standard library, Rocq's user-contrib
folder, and directories specified in ROCQPATH
and XDG_DIRS