Expand description
Aver static type representation and built-in type namespaces.
Type annotations in the AST are plain strings; this module converts them to a structured enum and provides the compatibility relation used by the type checker.
Sub-modules:
checker— static type checkerint,float,string,list,map,char,byte— pure namespace helpers (no effects)