kdrag.printers.tptp.mangle_decl

kdrag.printers.tptp.mangle_decl(d: FuncDeclRef, env=[])

Mangle a declaration to a tptp name. SMTLib supports type based overloading, TPTP does not.

Parameters:

d (FuncDeclRef)