Function candid::types::subtype::equal

source · 
pub fn equal(
    gamma: &mut Gamma,
    env: &TypeEnv,
    t1: &Type,
    t2: &Type
) -> Result<()>
Expand description

Check if t1 and t2 are structurally equivalent, ignoring the variable naming differences. Note that this is more strict than t1 <: t2 and t2 <: t1, because of the special opt rule.