kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

csujedihy opened this issue · comments

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.