ensureProposition method

@TagNumber(1) Proposition ensureProposition()

Implementation

@$pb.TagNumber(1)
Proposition ensureProposition() => $_ensure(0);