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