kdrag.utils.pmatch

kdrag.utils.pmatch(vs: list[ExprRef], pat: ExprRef, t: ExprRef, subst=None) → dict[ExprRef, ExprRef] | None

Pattern match t against pat considering vs as variables. Returns substitution dictionary if succeeds https://www.philipzucker.com/ho_unify/

Parameters:

• vs (list[ExprRef])

• pat (ExprRef)

• t (ExprRef)

Return type:

dict[ExprRef, ExprRef] | None