let
tau_of_dzone =
Formula
.
ADT
(
"zone"
,[])