CoqToLeanAsm: x86 Macro Assembler in Lean 4

14.4. Label Resolution

Labels in the assembler are managed through structured types to ensure forward references are correctly resolved:

X86.LabelMap : Type#check LabelMap     -- Maps label names to addresses
X86.LabelRef : Type#check LabelRef     -- Reference to a label (for forward refs)
X86.LabelGen : Type#check LabelGen     -- Generates fresh labels