Construct the complete source call compiler dictionary from the single prepared compiler program. No independently supplied signature/ABI/type/target feature dictionary is accepted. Source query failures remain typed errors at that operation; no names or equivalent layouts establish identities.

def Miri.Input.CompilerExecutionCallLeaves.tupleFields (p : CompilerProviders.Prepared) (ty : MIR.TyId) : Except String (Array MIR.TyId)

Equations

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

def Miri.Input.CompilerExecutionCallLeaves.closureUpvarCount (p : CompilerProviders.Prepared) (ty : MIR.TyId) : Except String (Option Nat)

Equations

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

def Miri.Input.CompilerExecutionCallLeaves.make {K U C : Type} (p : CompilerProviders.Prepared) (compatibilityBudget : Nat) : Interpreter.ExecutionCallLeaves.Compiler (Interpreter.MachineHooks.State K U) C ABI.ExternAbi

Exact source ExternAbi identity, canonical FnAbi records, shared DefIds/ TypeConstIds and actual current BodyIdentity all belong to this same program.

Equations

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