inductive Miri.Interpreter.IntrinsicBackend.Kind : Type

• none : Kind
• vclocks : Kind

structure Miri.Interpreter.IntrinsicBackend.Dispatcher (S C V : Type) : Type

• selection : S → Except StepError Kind

def Miri.Interpreter.IntrinsicBackend.eval {S C V : Type} (backend : Dispatcher S C V) (hooks : IntrinsicHooks Memory.Provenance S C V) (choice : C) (name : String) (types : Array MIR.TyId) (args : Array (OpTy Memory.Provenance)) (dest : V) (ret : Option MIR.BasicBlockId) : RvalueM S Bool

Equations

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