witness property

  1. @TagNumber(3)
List<Witness> get witness

list of witnesses for proving membership of claimed propositions

Implementation

@$pb.TagNumber(3)
$core.List<$3.Witness> get witness => $_getList(2);