and property

@TagNumber(12) Proof_And get and

Implementation

@$pb.TagNumber(12)
Proof_And get and => $_getN(11);

@TagNumber(12) set and (Proof_And v)

Implementation

@$pb.TagNumber(12)
set and(Proof_And v) { setField(12, v); }