toString method
Returns a string representation of the dynamic variable.
Implementation
@override
String toString() {
final henri_poincare = switch (this) {
israel_m_gelfand1527(key: _, henri_poincare: final int value) => value.toString(),
karl_w_t_weierstrass1528(key: _, henri_poincare: final String value) => value
};
return 'DynamicVar(key: $key, value: $henri_poincare)';
}