@[reducible, inline]

abbrev Miri.Interpreter.FreeBsdForeign.M (σ α : Type) : Type

Equations

• Miri.Interpreter.FreeBsdForeign.M = EStateM Miri.Interpreter.StepError

def Miri.Interpreter.FreeBsdForeign.dynamicSymbol (_name : String) : Bool

Equations

• Miri.Interpreter.FreeBsdForeign.dynamicSymbol _name = false

structure Miri.Interpreter.FreeBsdForeign.Hooks (S R D E B I : Type) : Type

• foreign : ForeignItems.Hooks Memory.Provenance S D (MPlaceTy Memory.Provenance) (Memory.Pointer (Option Memory.Provenance)) B I
• sync : FreeBsdSync.Hooks S R
• errors : IoError.Hooks S E

def Miri.Interpreter.FreeBsdForeign.emulate {S R D E B I : Type} (h : Hooks S R D E B I) (name : String) (abi : ABI.FnAbi MIR.TyId) (args : Array (OpTy Memory.Provenance)) (dest : MPlaceTy Memory.Provenance) : M S (Option ForeignItems.EmulateItemResult)

Equations

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