Function fungi_lang::decide::subset::decide_type_subset_norm

source · 
pub fn decide_type_subset_norm(ctx: &RelCtx, a: Type, b: Type) -> bool
Expand description

Decide type subset relation on normalized versions of the given terms.