Module free_region_relations

Structs

CreateResult 🔒

UniversalRegionRelations 🔒

UniversalRegionRelationsBuilder 🔒

Functions

create 🔒

Type Aliases

NormalizedInputsAndOutput 🔒

As part of computing the free region relations, we also have to normalize the input-output types, which we then need later. So we return those. This vector consists of first the input types and then the output type as the last element.