Map<String, dynamic> pureVector(List<dynamic> value, [String type = 'u64']) { return pure.vector(type, value); }