kdrag.tele.prove_sig

kdrag.tele.prove_sig(f: FuncDeclRef, tele0: Telescope, T: SubSort, by=None) → Proof

Parameters:

• f (FuncDeclRef)

• tele0 (Telescope)

• T (SubSort)

Return type:

Proof