Characteristic predicate IneffectiveParameterType::DefiniteTypeDecl::DefiniteTypeDecl

DefiniteTypeDecl()