kdrag.contract.lemmas

kdrag.contract.lemmas(e: ExprRef) → list[Proof]

Instantiate all contract lemmas found in

Parameters:

e (ExprRef)

Return type:

list[Proof]