Sorts

Most sorts in a K definition are defined by the user. However, K recognizes certain sorts as special. They are as follows.

Can any of these be extended by the user (e.g. using a "syntax" declaration)? (Other than to add a [function])

K

• K
• KResult
• KLabel: User may extend with labels (only?)
• KList: Not user extendable
• KItem: This is just K minus List{KItem}{"~>"}
• CellLabel: Not directly user addable. Effectively can only add constants. No variable.

Containers

• Bag: May alow user constructors (but shouldn't).
  • BagItem: May alow user constructors (but shouldn't).
• Set
  • SetItem
• Map
  • MapItem
• List
  • ListItem