kdrag.rewrite.apply

kdrag.rewrite.apply(goal: BoolRef, vs: list[ExprRef], head: BoolRef, body: BoolRef) → BoolRef | None

Parameters:

• goal (BoolRef)

• vs (list[ExprRef])

• head (BoolRef)

• body (BoolRef)

Return type:

BoolRef | None