Pulselib.PulseContext
val proc_desc : unit -> IR.Procdesc.t option
val tenv : unit -> IR.Tenv.t option
val tenv_exn : unit -> IR.Tenv.t
val set_tenv_global_for_testing : IR.Tenv.t -> unit