^- ket·hep

^-  type  hoonCast 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