kframework/k-legacy

How to print out every key pair in a .Set?

csujedihy opened this issue · 3 comments

How to print out every key pair in a .Set?

Could you clarify what you're trying to do? .Set corresponds to the empty set in K, and there are no keys for a set.

.Map is the empty map, so it has no keys. If M is a variable of sort Map you can call keys(M) to get the Set of keys of the map.