package rocq-runtime

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

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
OCaml

Innovation. Community. Security.