"An open intersection type."​
​shared sealed interface OpenIntersection satisfies OpenType {
    
    "This intersection's list of satisfied open types."​
    shared formal List<OpenType> satisfiedTypes;
}
​