Index: src/SynTree/Type.h
===================================================================
--- src/SynTree/Type.h	(revision c8dfcd3a4ea472775bb425585268096226f404ce)
+++ src/SynTree/Type.h	(revision 0362d42197982e555c473ed139d94d754200a435)
@@ -352,5 +352,11 @@
 	virtual ~TupleType();
 
+	typedef std::list<Type*> value_type;
+	typedef value_type::iterator iterator;
+
 	std::list<Type*>& get_types() { return types; }
+
+	iterator begin() { return types.begin(); }
+	iterator end() { return types.end(); }
 
 	virtual TupleType *clone() const { return new TupleType( *this ); }