Module charon_lib::ast::names

Defines some utilities for the variables

Structs

• Disambiguator
• Name
  An item name/path

Enums

• ImplElem
  There are two kinds of impl blocks:
• PathElem
  See the comments for Name