type.decl

← type dialect

Declare an external managed payload identity under a local name. The namespace and payload name identify the type independently of its local spelling. Providers supply payload behavior and ownership; the declaration exposes no layout, address, or implementation.

Operation contract

Property	Value
Semantic phase	module metadata
Traits	SymbolDefine, ModuleScope

Symbol contract

Property	Value
Kind	managed type
Defining field	name
Interfaces	record
Flags	—

Signature

Kind	Name	Type	Cardinality	Description
Attribute	name	symbol	required	Module-local payload type name.
Attribute	namespace	string	required	External provider namespace.
Attribute	type_name	string	required	Exact payload name in the provider namespace.

Examples

type.decl import("input", "decoder") @Decoder