Exact pinned rustc_abi/src/extern_abi.rs::ExternAbi identity. In particular, System/C/Cdecl and unwind distinctions survive target-specific ABI lowering. This is independent of FnAbi's canonical calling convention.

inductive Miri.ABI.ExternAbi : Type

• C (unwind : Bool) : ExternAbi
• System (unwind : Bool) : ExternAbi
• Rust : ExternAbi
• RustCall : ExternAbi
• RustCold : ExternAbi
• RustInvalid : ExternAbi
• RustPreserveNone : ExternAbi
• RustTail : ExternAbi
• LlvmIntrinsic : ExternAbi
• Custom : ExternAbi
• EfiApi : ExternAbi
• Swift : ExternAbi
• Aapcs (unwind : Bool) : ExternAbi
• CmseNonSecureCall : ExternAbi
• CmseNonSecureEntry : ExternAbi
• GpuKernel : ExternAbi
• PtxKernel : ExternAbi
• AvrInterrupt : ExternAbi
• AvrNonBlockingInterrupt : ExternAbi
• Msp430Interrupt : ExternAbi
• RiscvInterruptM : ExternAbi
• RiscvInterruptS : ExternAbi
• X86Interrupt : ExternAbi
• Cdecl (unwind : Bool) : ExternAbi
• Stdcall (unwind : Bool) : ExternAbi
• Fastcall (unwind : Bool) : ExternAbi
• Thiscall (unwind : Bool) : ExternAbi
• Vectorcall (unwind : Bool) : ExternAbi
• SysV64 (unwind : Bool) : ExternAbi
• Win64 (unwind : Bool) : ExternAbi

@[instance_reducible]

instance Miri.ABI.instDecidableEqExternAbi : DecidableEq ExternAbi

Equations

• Miri.ABI.instDecidableEqExternAbi = Miri.ABI.instDecidableEqExternAbi.decEq

def Miri.ABI.instDecidableEqExternAbi.decEq (x✝ x✝¹ : ExternAbi) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Miri.ABI.instBEqExternAbi : BEq ExternAbi

Equations

• Miri.ABI.instBEqExternAbi = { beq := Miri.ABI.instBEqExternAbi.beq }

def Miri.ABI.instBEqExternAbi.beq : ExternAbi → ExternAbi → Bool

Equations

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

@[instance_reducible]

instance Miri.ABI.instReprExternAbi : Repr ExternAbi

Equations

• Miri.ABI.instReprExternAbi = { reprPrec := Miri.ABI.instReprExternAbi.repr }

def Miri.ABI.instReprExternAbi.repr : ExternAbi → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• Miri.ABI.instReprExternAbi.repr Miri.ABI.ExternAbi.Rust prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Miri.ABI.ExternAbi.Rust")).group prec✝
• Miri.ABI.instReprExternAbi.repr Miri.ABI.ExternAbi.Custom prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Miri.ABI.ExternAbi.Custom")).group prec✝
• Miri.ABI.instReprExternAbi.repr Miri.ABI.ExternAbi.EfiApi prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Miri.ABI.ExternAbi.EfiApi")).group prec✝
• Miri.ABI.instReprExternAbi.repr Miri.ABI.ExternAbi.Swift prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Miri.ABI.ExternAbi.Swift")).group prec✝

def Miri.ABI.ExternAbi.cNoUnwind : ExternAbi

Equations

• Miri.ABI.ExternAbi.cNoUnwind = Miri.ABI.ExternAbi.C false

def Miri.ABI.ExternAbi.systemNoUnwind : ExternAbi

Equations

• Miri.ABI.ExternAbi.systemNoUnwind = Miri.ABI.ExternAbi.System false

def Miri.ABI.ExternAbi.rust : ExternAbi

Equations

• Miri.ABI.ExternAbi.rust = Miri.ABI.ExternAbi.Rust