LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
type.hxx File Reference

Inline methods for type::Type. More...

#include <type/type.hh>
#include <misc/contract.hh>
Include dependency graph for type.hxx:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  type
 Type-checking an ast::Ast.

Detailed Description

Inline methods for type::Type.