addDecl method

void addDecl(FuncDecl decl)

Declares a function.

Implementation

void addDecl(FuncDecl decl) {
  _c._z3.parser_context_add_decl(
    _pc,
    _c._createFuncDecl(decl),
  );
}