candid::types::subtype
pub fn subtype( gamma: &mut Gamma, env1: &TypeEnv, t1: &Type, env2: &TypeEnv, t2: &Type) -> Result<()>
Check if t1 <: t2