Module brane_ast::traversals::typing

Performs type analysis on the AST, i.e., resolving the types that haven’t been already and verifying the required ones are there.

Re-exports

• pub use crate::errors::TypeError as Error;
• pub use crate::warnings::TypeWarning as Warning;

Functions

• do_traversal
  Resolves typing in the given brane-dsl AST.