diff options
Diffstat (limited to 'src/expr/declaration_scope.h')
| -rw-r--r-- | src/expr/declaration_scope.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h index 699dca6fa..4cdb71ddc 100644 --- a/src/expr/declaration_scope.h +++ b/src/expr/declaration_scope.h @@ -175,6 +175,11 @@ public: const std::vector<Type>& params) const throw(AssertionException); /** + * Lookup the arity of a bound parameterized type. + */ + size_t lookupArity( const std::string& name ); + + /** * Pop a scope level. Deletes all bindings since the last call to * <code>pushScope</code>. Calls to <code>pushScope</code> and * <code>popScope</code> must be "properly nested." I.e., a call to |