sig val overloading : Delimited_overloading.t end