Exact C-varargs compiler leaves from intrinsics.rs:877–931,1416–1433; identical_c_types delegates to the source call.rs structural compatibility port. Target-specific VaList fields come from instantiated compiler ADT declarations.

def Miri.Input.CompilerVarArgsLeaves.make {K U C : Type} (p : CompilerProviders.Prepared) (compatibilityBudget : Nat) : Interpreter.IntrinsicSymbolsMachine.VarArgsLeaves K U C

Equations

• One or more equations did not get rendered due to their size.