TypeMapOrdering Struct Reference

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

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