title A short, descriptive, user-friendly title for this Contract definition, derivative, or instance in any legal state.
String? get title => throw _privateConstructorUsedError;