Function fungi_lang::decide::subset::decide_ceffect_subset_rec

source · 
pub fn decide_ceffect_subset_rec(
    ctx: &RelCtx,
    ce1: Rc<CEffect>,
    ce2: Rc<CEffect>
) -> bool
Expand description

Decide computation effect subset relation