candid::types::subtype

Function subtype

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

Check if t1 <: t2