Module Lib.Interp

type summary = Summary.Interp.frozen
val find_opening_node : ?loc:Loc.t -> Names.Id.t -> summary node

Returns the opening node of a given name

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

Sections

val close_section : unit -> discharged_item list

close_section needs to redo Export, so the complete implementation needs to involve Declaremods.

Modules and module types
val end_module : unit -> Nametab.object_prefix * summary * classified_objects
val end_modtype : unit -> Nametab.object_prefix * summary * classified_objects
type frozen
val freeze : unit -> frozen
val unfreeze : frozen -> unit
val init : unit -> unit
val drop_objects : frozen -> frozen

Keep only the libobject structure, not the objects themselves

val declare_info : Library_info.t -> unit