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