kdrag.utils.pmatch

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

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