add AscriptionType stuff to support nullary parameterized datatypes; also, review of Andy's earlier commit, with some minor code clean-up and documentation

1 files changed, 6 insertions, 1 deletions

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 6d55e195e..2e7e3ca3d 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -373,10 +373,15 @@ public:
   SortType mkUnresolvedType(const std::string& name);
 
   /**
-   * Creates a new "unresolved type," used only during parsing.
+   * Creates a new unresolved (parameterized) type constructor of the given
+   * arity.
    */
   SortConstructorType mkUnresolvedTypeConstructor(const std::string& name, 
                                                   size_t arity);
+  /**
+   * Creates a new unresolved (parameterized) type constructor given the type
+   * parameters.
+   */
   SortConstructorType mkUnresolvedTypeConstructor(const std::string& name, 
                                                   const std::vector<Type>& params);