Function fungi_lang::decide::subset::decide_idxtm_subset_speculative

pub fn decide_idxtm_subset_speculative(ctx: &RelCtx, i: &IdxTm, j: &IdxTm) -> bool

Decide name set subset relation.

This is like decide_idxtm_subset_simple, but is intended to be called in speculative situations (e.g., searching for an equivalent term among many in a set of terms).

Wraps decide_idxtm_subset with a simpler output type.