getFuncInterp method
Implementation
FuncInterp? getFuncInterp(FuncDecl decl) {
final result = _c._z3.model_get_func_interp(
_model,
_c._createFuncDecl(decl),
);
if (result == nullptr) {
return null;
}
return _c._getFuncInterp(result);
}