package coq-core

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Loadpath.ErrorSource

Locate a library in the load path
Sourcetype t =
  1. | LibUnmappedDir
  2. | LibNotFound
Sourceval 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.

OCaml

Innovation. Community. Security.