getDefault static method

Proof_LessThan getDefault()

Implementation

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