kdrag.utils.pmatch_rec

kdrag.utils.pmatch_rec(vs: list[ExprRef], pat: ExprRef, t: ExprRef, into_binder=False) → tuple[ExprRef, dict[ExprRef, ExprRef]] | None

Parameters:

• vs (list[ExprRef])

• pat (ExprRef)

• t (ExprRef)

Return type:

tuple[ExprRef, dict[ExprRef, ExprRef]] | None