let
array_access t index =
Fol
.
Tapp
(
"access"
, [t;index])