tiny.smt.FunctionDecl

1/// One declared function: its name, the sorts of its arguments and the sort of its result. Code2/// that walks the declarations reads one per function, as the SMT-LIB writer does for each3/// `declare-fun`.4pub const FunctionDecl = struct {5    /// The function's name, a copy the `Context` owns and frees. The name is unique among the6    /// declarations of one `Context`.7    name: []const u8,8    /// The sorts of the arguments in order, a copy the `Context` owns and frees. The slice length9    /// is the function's arity: 0 declares a constant function.10    params: []const Sort,11    /// The sort of every application's result.12    result: Sort,13};

1pub const FunctionDecl = term.FunctionDecl;