syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Invariant,"}]}
source_snippet:     Invariant,     // T<A> <: T<B> iff B == A -- e.g., type of mutable cell
context_before:     Covariant,     // T<A> <: T<B> iff A <: B -- e.g., function return type
context_after:     Contravariant, // T<A> <: T<B> iff B <: A -- e.g., function param type