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