Characteristic predicate Type::VoidType::VoidType

VoidType()