@$pb.TagNumber(8) $3.Details get details => $_getN(7);
@$pb.TagNumber(8) set details($3.Details value) => $_setField(8, value);