let compute_using_mem
_kf
(initial_state:Relations_type.Model.t)
(new_return_v,mem_final_state)
mem_outs
instanciation =
let (a,clobbered_bases) =
Relations_type.Model.compute_actual_final_from_generic
initial_state
mem_final_state
mem_outs
instanciation
in
(*TODO: new_return_v MUST be substituted! *)
new_return_v,a,clobbered_bases