TypeMapOrdering Struct Reference

Public Member Functions
std::vector< Type >	visit_ancestor (const Type &t)
std::optional< Type >	lowest_common_type (const Type &a, const Type &b)
bool	compatible_to_from (const Type &a, const Type &b)

Public Attributes
std::map< Type, Type >	type_map

---

The documentation for this struct was generated from the following files:

• include/typecheck/Types.h
• src/typecheck/Types.cpp