candid::types::subtype

Function 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.