spade_common

Module id_tracker

Source

Macros§

def_id_tracker 🔒
def_typed_id_tracker 🔒

Structs§

AAVarTracker
ExprID
An ID of an expression-like thing. In practice something that has a type in the type inferer.
ExprIdTracker
ImplID
ImplIdTracker
NameIdInner
NameIdTracker