kdrag.solvers.scryer.in_term

kdrag.solvers.scryer.in_term(term: Term, tags: set[Term]) → set[Term]
Parameters:

  • term (Term)

  • tags (set[Term])

Return type:

set[Term]