package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Common.StateSource

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

Sourceval 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