currentDocument property Null safety

Precondition currentDocument

Implementation

@$pb.TagNumber(4)
$41.Precondition get currentDocument => $_getN(3);

void currentDocument=(Precondition v)

@$pb.TagNumber(4)
set currentDocument($41.Precondition v) { setField(4, v); }