Module Common.State

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

Getters

val get_table : t -> Table.t
val get_modular : t -> bool
val get_library : t -> bool
val get_keywords : t -> Names.Id.Set.t
val get_phase : t -> phase
val get_duplicate : t -> Names.ModPath.t -> Names.Id.t -> string option
val set_phase : t -> phase -> t

Setters

Reader-like

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

Cleanup

val reset : t -> unit