Subtyping on Candid types t1 <: t2 (Exported for testing)
The potential subtype
The potential supertype
Subtyping on Candid types t1 <: t2 (Exported for testing)