  We prove distality of quantifier-free relations on valued fields with finite
residue field. By a result of Chernikov-Galvin-Starchenko, this yields
Szemer\'edi-Trotter-like incidence bounds for function fields over finite
fields. We deduce a version of the Elekes-Szab\'o theorem for such fields.
