kdrag.printers.tptp.sort_to_tptp

kdrag.printers.tptp.sort_to_tptp(sort: SortRef)

Pretty print sort as tptp

>>> sort_to_tptp(smt.IntSort())
'$int'
>>> sort_to_tptp(smt.ArraySort(smt.IntSort(), smt.BoolSort()))
'($int > $o)'