opElement ("_op") Extensions for op
@JsonKey(name: '_op') Element? get opElement => throw _privateConstructorUsedError;