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