create static method

Proof_Or create()

Implementation

@$core.pragma('dart2js:noInline')
static Proof_Or create() => Proof_Or._();