let sub_pointer p1 p2 = Fol.Tapp ("sub_ptr", [p1; p2])