kdrag.utils.is_subterm

kdrag.utils.is_subterm(t: ExprRef, t2: ExprRef) → bool

TODO: Not alpha invariant or going into binders

Parameters:

  • t (ExprRef)

  • t2 (ExprRef)

Return type:

bool