CGEnv (transformers.C

module DR = Gillian.Monadic.Delayed_result

module Global_env = Cgil_lib.Global_env

val init_data : Global_env.def Cgil_lib.String_map.t Stdlib.ref

val set_init_data : Global_env.def Cgil_lib.String_map.t -> unit

module M : States.MyMonadicSMemory.S with type t = Global_env.t