buildFuncDecl abstract method

Z3_func_decl buildFuncDecl(
  1. Context c
)

Implementation

Z3_func_decl buildFuncDecl(Context c);