Coqdeplib.Error
val cannot_parse : loc:Loc.t -> 'a
val cannot_open_project_file : string -> 'a
val cannot_parse_project_file : string -> string -> 'a
val cannot_open : string -> string -> 'a