infDouble property

  1. @TagNumber(14)
double get infDouble

Implementation

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

Implementation

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