|
|
|---|
|
|
|
|---|
Name a context within a function definition for later use in function-termhint.
Usage:
(hintcontext name body)
is logically equivalent to body, and should execute as body with no overhead, but sets a name for the current context that can be referenced by function-termhint.
The following b* binder form is equivalent:
(b* (((hintcontext name)) ...) ...)