type_inference

Type inference for Tierkreis graphs, depends on the tierkreis_typecheck package.

Functions

builtin_namespace	The namespace of built-in functions.
infer_graph_types	Infer the types in a graph and its inputs given a signature to check against.

Exceptions

TypeCheckNotInstalled

Raised when tierkreis_typecheck is not installed.