infDouble property

@TagNumber(14) double infDouble

Implementation

@$pb.TagNumber(14)
$core.double get infDouble => $_getN(13);

@TagNumber(14) void infDouble=(double v)

Implementation

@$pb.TagNumber(14)
set infDouble($core.double v) {
  $_setDouble(13, v);
}