4.12. kink/FUN¶
The companion mod for fun vals.
4.12.1. type fun¶
A fun is a function value.
Conceptually, a fun holds a sequence of abstract instructions. See “Language specification” → “Evaluation” chapter for abstract instructinos.
4.12.1.1. Fun.call(Recv Args)¶
`call` tail-calls `Fun` with `Recv` as the recv, and `Args` as the args of the invocation.
Precondition:
• `Args` must be a vec.
4.12.2. FUN.is?(Val)¶
`is?` returns whether the `Val` is a fun.