package coq-core

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

Module Lib.InterpSource

Sourcetype classified_objects = {
  1. substobjs : Libobject.t list;
  2. keepobjs : Libobject.t list;
  3. anticipateobjs : Libobject.t list;
}
Sourceval classify_segment : Libobject.t list -> classified_objects
Sourceval find_opening_node : Names.Id.t -> summary node

Returns the opening node of a given name

Sourceval add_entry : summary node -> unit
Sourceval add_leaf_entry : Libobject.t -> unit
Sourceval open_section : Names.Id.t -> unit

Sections

Sourceval close_section : unit -> unit
Modules and module types
Sourcetype frozen
Sourceval freeze : unit -> frozen
Sourceval unfreeze : frozen -> unit
Sourceval init : unit -> unit
Sourceval drop_objects : frozen -> frozen

Keep only the libobject structure, not the objects themselves

Sourceval declare_info : Library_info.t -> unit
OCaml

Innovation. Community. Security.