let
declare obj _ =
Formula
.
Predicate
[tau_of_object_array obj 1;
Integer
;
Integer
]