Function candid::types::subtype::subtype

pub fn subtype(
    gamma: &mut Gamma, 
    env: &TypeEnv, 
    t1: &Type, 
    t2: &Type
) -> Result<()>

Check if t1 <: t2