pub fn dump_types(
type_state: &TypeState,
type_list: &TypeList,
symtab: &SymbolTable,
) -> HashMap<TypedExpression, Option<ConcreteType>>
pub fn dump_types(
type_state: &TypeState,
type_list: &TypeList,
symtab: &SymbolTable,
) -> HashMap<TypedExpression, Option<ConcreteType>>