getDefault static method

Implementation

@$core.pragma('dart2js:noInline')
static Proposition_HeightRange getDefault() => _defaultInstance ??= $pb.GeneratedMessage.$_defaultFor<Proposition_HeightRange>(create);