Syntactic record-type descriptor possible? Marc Nieper-Wißkirchen 12 Apr 2016 06:25 UTC