Add documentation to std_types

Author: svorenova

src/util/std_types.cpp

@@ -1,11 +1,15 @@
 /*******************************************************************\
 
-Module:
+Module: Pre-defined types
 
 Author: Daniel Kroening, [email protected]
+        Maria Svorenova, [email protected]
 
 \*******************************************************************/
 
+/// \file
+/// Pre-defined types
+
 #include "std_types.h"
 
 #include "string2int.h"
@@ -26,6 +30,7 @@ std::size_t floatbv_typet::get_f() const
   return unsafe_string2unsigned(id2string(f));
 }
 
+/// Return the sequence number of the component with given name.
 std::size_t struct_union_typet::component_number(
   const irep_idt &component_name) const
 {
@@ -48,6 +53,7 @@ std::size_t struct_union_typet::component_number(
   return 0;
 }
 
+/// Get the component with given name.
 const struct_union_typet::componentt &struct_union_typet::get_component(
   const irep_idt &component_name) const
 {
@@ -73,6 +79,7 @@ typet struct_union_typet::component_type(
   return c.type();
 }
 
+/// Returns true if the object is a prefix of \param other.
 bool struct_typet::is_prefix_of(const struct_typet &other) const
 {
   const componentst &ot_components=other.components();