Module Coqdeplib.ErrorSource

Sourceexception CannotParseFile of string * int * int
Sourceexception CannotParseProjectFile of string * string
Sourceexception CannotOpenFile of string * string
Sourceexception CannotOpenProjectFile of string
Sourceval cannot_parse : string -> (int * int) -> 'a
Sourceval cannot_open_project_file : string -> 'a
Sourceval cannot_parse_project_file : string -> string -> 'a
Sourceval cannot_open : string -> string -> 'a