Complete compiler dictionary for source virtual/drop/caller-location drivers. All identities refer to the pipeline's final shared tables.

def Miri.Input.CompilerVirtualLeaves.make {S C : Type} (p : CompilerCallPipeline.Prepared) : Interpreter.VirtualCalls.CompilerHooks S C

Equations

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