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