Loadpath.Error
type t =
| LibUnmappedDir
| LibNotFound
val raise : Names.DirPath.t -> t -> 'a
Raise regular Coq errors with default informative message; usually document managers that have more information about the workspace than coqc will override this with a better mechanism / message.