Function fungi_lang::decide::subset::decide_ctype_subset

source · 
pub fn decide_ctype_subset(ctx: &RelCtx, ct1: CType, ct2: CType) -> bool
Expand description

Decide computation type subset relation