addDecl method

void addDecl(
  1. FuncDecl decl
)

Implementation

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