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