let
array_update t index v =
Fol
.
Tapp
(
"update"
, [t;index;v])