Function fungi_lang::decide::subset::decide_idxtm_subset_simple

source · 
pub fn decide_idxtm_subset_simple(ctx: &RelCtx, i: &IdxTm, j: &IdxTm) -> bool
Expand description

Decide name set subset relation.

Wraps decide_idxtm_subset with a simpler output type.