State (p.rocq-runtime.9.1.0.doc.extraction_plugin.Extraction

Sourcetype t

Sourceval make : modular:bool -> library:bool -> keywords:Names.Id.Set.t -> unit -> t

Getters

Sourceval get_table : t -> Table.t

Sourceval get_modular : t -> bool

Sourceval get_library : t -> bool

Sourceval get_keywords : t -> Names.Id.Set.t

Sourceval get_phase : t -> phase

Sourceval get_duplicate : t -> Names.ModPath.t -> Names.Label.t -> string option

Sourceval set_phase : t -> phase -> t

Setters

Reader-like

val with_visibility : 
  t ->
  Names.ModPath.t ->
  Names.ModPath.t list ->
  (t -> 'a) ->
  'a

Sourceval get_top_visible_mp : t -> Names.ModPath.t

Cleanup

Sourceval reset : t -> unit