kdrag.utils.unify_db

kdrag.utils.unify_db(p1: ExprRef, p2: ExprRef) → dict[ExprRef, ExprRef] | None

Unification using de Bruijn indices as variables

Parameters:

  • p1 (ExprRef)

  • p2 (ExprRef)

Return type:

dict[ExprRef, ExprRef] | None