libtype.cc File Reference

Define the function exported by type module. More...

#include <ast/exp.hh>
#include <type/libtype.hh>
#include <type/type-checker.hh>

Include dependency graph for libtype.cc:

Namespaces
namespace	type
	Type-checking an ast::Ast.

Functions
misc::error	type::types_check (ast::Ast &tree)

Detailed Description

Define the function exported by type module.