Subtyping in Emerald -- $S$ conforms to $T$


slide: The subtype relation in Emerald