Module E_ACSL.Memory_translate

val gmp_to_sizet_ref : ( adata:Assert.t -> loc:Frama_c_kernel.Cil_types.location -> name:string -> ?check_lower_bound:bool -> ?pp:Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.kernel_function -> Env.t -> Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.exp * Assert.t * Env.t ) Stdlib.ref