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