diff options
Diffstat (limited to 'src/expr/declaration_scope.h')
| -rw-r--r-- | src/expr/declaration_scope.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h index 6d89f5f4e..699dca6fa 100644 --- a/src/expr/declaration_scope.h +++ b/src/expr/declaration_scope.h @@ -134,6 +134,12 @@ public: bool isBoundDefinedFunction(const std::string& name) const throw(); /** + * Check whether an Expr was bound to a function (i.e., was the + * second arg to bindDefinedFunction()). + */ + bool isBoundDefinedFunction(Expr func) const throw(); + + /** * Check whether a name is bound to a type (or type constructor). * * @param name the identifier to check. |