let t_memory : tau = Formula.ADT("farray",[Formula.ADT("data",[])])