"An open type variable."
shared interface OpenTypeVariable satisfies OpenType {
    
    "This type variable's type parameter declaration."
    shared formal TypeParameter declaration;
}