libtype.hh File Reference

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

#include <misc/error.hh>
#include <ast/fwd.hh>

Include dependency graph for libtype.hh:

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.

Functions
misc::error	type::types_check (::ast::Ast &tree)
	Check types in a (bound) AST.

Detailed Description

Declare the function exported by type module.