kdrag.printers.lean.decl_sig

kdrag.printers.lean.decl_sig(f: FuncDeclRef) → str

Convert a function declaration to a Lean signature.

>>> f = smt.Function("f", smt.IntSort(), smt.IntSort(), smt.BoolSort())
>>> decl_sig(f)
'f : Int -> Int -> Bool'