public count() { // Argument may have any input type. mArgType = new UniversalType("'a"); mArgType.addConstraint(Type.getNullable(Type.TypeName.TYPECLASS_ANY)); }