Validates the exact structured compiler ExternAbi variant fields. Diagnostic spelling and target canonical convention do not participate in source identity.

def Miri.Input.CompilerExternAbi.decode (source : Lean.Json) : Except String ABI.ExternAbi

Equations

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