Error (rocq-runtime.Coqdeplib.Error)

exception CannotParseFile of string * int * int

exception CannotParseProjectFile of string * string

exception CannotOpenFile of string * string

exception CannotOpenProjectFile of string

val cannot_parse : string -> (int * int) -> 'a

val cannot_open_project_file : string -> 'a

val cannot_parse_project_file : string -> string -> 'a

val cannot_open : string -> string -> 'a