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