Relevant type system

1. REDIRECT Substructural type system#Relevant type system

{{rcatsh|

{{r from subtopic}}

{{r to section}}

}}