Doc typet cont.

Author: svorenova

src/util/type.cpp

@@ -47,7 +47,8 @@ bool is_number(const typet &type)
          id==ID_fixedbv;
 }
 
-/// Identify if a given type is constant itself or contains constant components.
+/// Identify whether a given type is constant itself or contains constant
+/// components.
 /// Examples include:
 ///  - const int a;
 ///  - struct contains_constant_pointer {  int x; int * const p; };

src/util/type.h

@@ -24,33 +24,7 @@ class namespacet;
 /// modeled with two subs named “subtype” (a single type) and “subtypes”
 /// (a vector of types). The class typet only adds specialized methods
 /// for accessing the subtype information to the interface of irept.
-/// Pre-defined types:
-///   universe      - super type
-///   type          - another type
-///   predicate     - predicate expression (subtype and predicate)
-///   uninterpreted - uninterpreted type with identifier
-///   empty         - void
-///   bool          - true or false
-///   abstract      - abstract super type
-///   struct        - with components: each component has name and type,
-///                   the ordering matters
-///   rational
-///   real
-///   integer
-///   complex
-///   string
-///   enum          - with elements, the ordering does not matter
-///   tuple         - with components: each component has type,
-///                   the ordering matters
-///   mapping       - domain -> range
-///   bv            - no interpretation
-///   unsignedbv
-///   signedbv      - two's complement
-///   floatbv       - IEEE floating point format
-///   code
-///   pointer       - for ANSI-C (subtype)
-///   symbol        - look in symbol table (identifier)
-///   number        - generic number super type
+/// For pre-defined types see `std_types.h`.
 class typet:public irept
 {
 public: