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