Enum

tool-kind

Categories of tools.

enum tool-kind {
  read,
  edit,
  delete,
  move,
  search,
  execute,
  think,
  fetch,
  other,
}

Cases

CaseDescription
read
edit
delete
move
search
execute
think
fetch
other