createEmptyInstance method

Proof_GreaterThan createEmptyInstance()

override

Creates an empty instance of the same message type as this.

Implementation

Proof_GreaterThan createEmptyInstance() => create();