Actual source intrinsic identity/override/fallback attributes and session runtime-check values, attached to the same canonical execution dictionary.

def Miri.Input.CompilerExecutionFacts.hooks {K User C Other Extern Host : Type} (p : CompilerIntrinsicFacts.Prepared) (base : Interpreter.ExecutionMachine.Config K User C Other Extern Host) : Interpreter.ExecutionMachine.Config K User C Other Extern Host

Equations

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