@$pb.TagNumber(2) $2.Details get details => $_getN(1);
@$pb.TagNumber(2) set details($2.Details v) { setField(2, v); }