Sealing session type subtyping relation
Seal subtyping relation for session types, to avoid breaking abstraction when applying subtyping rules and tactics
Seal subtyping relation for session types, to avoid breaking abstraction when applying subtyping rules and tactics