Function fungi_lang::decide::subset::decide_nmsettm_subset_simple

source · 
pub fn decide_nmsettm_subset_simple(
    ctx: &RelCtx,
    tm1: &NmSetTm,
    tm2: &NmSetTm
) -> bool
Expand description

Decide name set subset relation.

Return true iff name set i is a subset of, or equal to, name set j. Uses decide_idxtm_congr as a subroutine.