Then we have *no* definition of ClassDef. You need to immediately provide the Rtype version of it (instead of at line 1187)