kdrag.utils.occurs

kdrag.utils.occurs(x: ExprRef, t: ExprRef) → bool

Does x occur in t?

Parameters:

  • x (ExprRef)

  • t (ExprRef)

Return type:

bool