Skip to content

vm.target

← vm dialect

Selects the portable VM instruction set and host function ABI.

Operation contract

Property Value
Semantic phase module metadata
Traits SymbolDefine
Interfaces TargetLike

Symbol contract

Property Value
Kind target
Defining field symbol
Interfaces target, record
Flags —

Signature

Kind Name Type Cardinality Description
Attribute symbol symbol required —
Attribute kind enum VmTargetKind required —

Examples

vm.target<core> @vm