create static method

Implementation

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