command.program.decl
← command dialect
Bodyless declaration of a reusable command program.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
SymbolDefine |
| Interfaces |
FuncLike |
Symbol contract
| Property |
Value |
| Kind |
command program |
| Defining field |
callee |
| Interfaces |
func_like, command_program |
| Flags |
declaration |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
args |
any |
variadic |
— |
| Attribute |
callee |
symbol |
required |
— |
| Attribute |
visibility |
enum Visibility |
optional |
— |
| Attribute |
target |
symbol (target) |
optional |
— |
| Attribute |
predicates |
predicate_list |
optional |
— |
| Attribute |
specialization_count |
i64 |
required |
Number of leading staged program arguments. |
| Attribute |
retain |
enum Retain |
optional |
— |
Examples
command.program.decl @decode(%token_count: index) launch(%parameters: buffer, %transient: buffer)
command.program.decl @static_program() launch(%parameters: buffer)