package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a module_signature =
  1. | Enforce of 'a
  2. | Check of 'a list
type inline =
  1. | NoInline
  2. | DefaultInline
  3. | InlineAt of int
type module_kind =
  1. | Module
  2. | ModType
  3. | ModAny
type !'modast module_interpretor = Environ.env -> module_kind -> 'modast -> Entries.module_struct_entry * module_kind * Univ.ContextSet.t
type !'modast module_params = (Names.lident list * ('modast * inline)) list
val declare_module : 'modast module_interpretor -> Names.Id.t -> 'modast module_params -> ('modast * inline) module_signature -> ('modast * inline) list -> Names.ModPath.t
val start_module : 'modast module_interpretor -> bool option -> Names.Id.t -> 'modast module_params -> ('modast * inline) module_signature -> Names.ModPath.t
val end_module : unit -> Names.ModPath.t
val declare_modtype : 'modast module_interpretor -> Names.Id.t -> 'modast module_params -> ('modast * inline) list -> ('modast * inline) list -> Names.ModPath.t
val start_modtype : 'modast module_interpretor -> Names.Id.t -> 'modast module_params -> ('modast * inline) list -> Names.ModPath.t
val end_modtype : unit -> Names.ModPath.t
type library_name = Names.DirPath.t
type library_objects
val get_library_native_symbols : library_name -> Nativecode.symbols
val start_library : library_name -> unit
val append_end_library_hook : (unit -> unit) -> unit
val really_import_module : Names.ModPath.t -> unit
val import_module : bool -> Names.ModPath.t -> unit
val declare_include : 'modast module_interpretor -> ('modast * inline) list -> unit
val iter_all_segments : (Libnames.object_name -> Libobject.obj -> unit) -> unit
val debug_print_modtab : unit -> Pp.t
val process_module_binding : Names.MBId.t -> Declarations.module_alg_expr -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct