|^- type hoon||Cast some value to a specified type.|
^- returns some hoon code or value, expressed in an explicitly declared type, if possible.
Often, ^- will be the first rune at the start of a Hoon block, telling the compiler,
“Whatever is produced by the rest of the code should be returned as this specified type.
^- takes two children:
The first child is an explicit type definition. This can be a simple aura or any complex type.
The second child is some hoon.
The hoon may be either a static value, or some code which will produce a value.Documentation on urbit.org