Function fungi_lang::decide::subset::decide_ceffect_subset

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

Decide computation effect subset relation