IMapWriter mapWriter = values.mapWriter();
for (IValue key : map.keySet()) {
mapWriter.put(key, map.get(key).done());
}
return mapWriter.done();
}
public IValue takeOneFrom(ISet st)
// @doc{takeOneFrom -- remove an arbitrary element from a set,
// returns the element and the modified set}