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