factory Witness({ $core.List<$core.int>? value, }) { final _result = create(); if (value != null) { _result.value = value; } return _result; }