Variable algTermMentionsVariable12`Const`

algTermMentionsVariable12: AstIndir<
    typeof algTermMentionsVariable["name"],
    boolean,
    [RDF.Term, RDF.Variable],
> = ...

Whether the term mentions the variable, also within (nested) triple terms.

Param: term

the term to search.

Param: variable

the variable to find.

Returns

whether the variable occurs in the term.