$AreaCopyWithExtension extension

This Extension on Area is to generate the code for a copyWith(...) function.

on

Methods

copyWith({String? name, String? placeId, LocalizedText? displayName, Containment? containment}) Area

Available on Area, provided by the $AreaCopyWithExtension extension