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