Function candid::types::subtype::subtype [−][src]
pub fn subtype(
gamma: &mut Gamma,
env1: &TypeEnv,
t1: &Type,
env2: &TypeEnv,
t2: &Type
) -> Result<()>
Expand description
Check if t1 <: t2