Module Tenv.Global

val read : unit -> t option

Load (without caching) the global type environment

val force_load : unit -> t option

Load and cache the global type environment

val load : unit -> t option

Load and cache the global type environment if not already loaded

val store : normalize:bool -> t -> unit

Save and cache the global type environment