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