let
t_alloc :
Formula
.tau =
Formula
.
ADT
(
"memalloc"
, [])