merge method

DartOptions merge(DartOptions options)

Overrides any non-null parameters from options into this to make a new DartOptions.

Implementation

DartOptions merge(DartOptions options) {
  return DartOptions.fromMap(mergeMaps(toMap(), options.toMap()));
}