Functions

Calculates the dtorck constraint for a type.
Returns a set of constraints that needs to be satisfied in order for ty to be valid for destruction.
provide 🔒