- (: NAME TYPE)syntax
Declares the type of a variable, which is sometimes required for embedded code as the call-sites originate from non-crunched code making argument types unprecise. This is re-exported from the (crunch declarations) module (see below) for convenience and only effective inside a crunch form. Outside of it, the behaviour is identical to the : exported from the core module (chicken type).