Tyx
The function signature. Describes the function arguments types and the return type.
Cross-module type validation.
