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