Generalized Member Access

This section informally explains Cω's generalization of member access.

In This Section

• Direct Member Access
• Lifting
• Apply-to-All
• Descendant Member Access
• Type-based and wildcard Member Access
• Filters
• Syntax for Member Access