Module tract_core::analyser

Model graph type inference.

Modules

helpers
macros
rules	A fluent interface for the analyser.
types

Structs

Analyser

A graph analyser, along with its current state.