infDouble property

@TagNumber(14) double get infDouble

Implementation

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

@TagNumber(14) set infDouble (double v)

Implementation

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