Structs

Compactly stores a set of R0 member of [R1...Rn] constraints, indexed by the region R0.
Represents a R0 member of [R1..Rn] constraint

Functions

Given a linked list starting at source_list and another linked list starting at target_list, modify target_list so that it is followed by source_list.