let
t_mem :
Formula
.tau =
Formula
.
ADT
(
"memory"
, [])