package rocq-runtime

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

Module Coq_checklib.CheckLibrarySource

Sourcetype section_path = {
  1. dirpath : string list;
  2. basename : string;
}
Sourcetype object_file =
  1. | PhysicalFile of CUnix.physical_path
  2. | LogicalFile of section_path
Sourcetype logical_path = Names.DirPath.t
Sourceval default_root_prefix : Names.DirPath.t
Sourceval add_load_path : (CUnix.physical_path * logical_path) -> unit
OCaml

Innovation. Community. Security.