Module Serapi.Serapi_paths

val coq_loadpath_default : implicit:bool -> coq_path:string -> string list * Loadpath.vo_path list
val dirpath_of_file : string -> Names.DirPath.t