Let |$A$| be the integral closure of the ring of polynomials |${{\mathbb {C}}}[t]$| , within the field of algebraic functions in one variable. We show that |$A$| interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a decidable theory in [ 12 ] and [ 4 ].