let
array_length t =
Fol
.
Tapp
(
"array_length"
, [t])