tiny.smt.Function
Defined in term.
A function declaration, named by its index in the declaration table of the Context that holds it.
Source
Source: lib/smt/src/term.zig:94
zig
/// A function declaration, named by its index in the declaration table of the `Context` that holds/// it. `function` returns one, and `apply` takes one to build an application.pub const Function = u32;Source: lib/smt/src/root.zig:117
zig
pub const Function = term.Function;Audit
| Definitions | 1 |
|---|---|
| Public names | 2 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |