ensureRevealed method

@TagNumber(1) Proposition ensureRevealed()

Implementation

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