subtitle A more detailed or qualifying explanatory or alternate user-friendly title for this Contract definition, derivative, or instance in any legal state.
String? get subtitle => throw _privateConstructorUsedError;