revealed property

@TagNumber(1) Proposition get revealed

Implementation

@$pb.TagNumber(1)
$4.Proposition get revealed => $_getN(0);

@TagNumber(1) set revealed (Proposition v)

Implementation

@$pb.TagNumber(1)
set revealed($4.Proposition v) { setField(1, v); }