Function fungi_lang::decide::subset::decide_type_subset_rec

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

Decide type subset relation