kdrag.printers.latex.to_latex_sort

kdrag.printers.latex.to_latex_sort(sort: SortRef) → str

>>> to_latex_sort(smt.BoolSort())
'\\mathsf{Bool}'
>>> to_latex_sort(smt.IntSort())
'\\mathsf{Int}'
>>> to_latex_sort(smt.RealSort())
'\\mathsf{Real}'
>>> to_latex_sort(smt.BitVecSort(8))
'\\mathsf{BV}_{8}'
>>> to_latex_sort(smt.SeqSort(smt.IntSort()))
'\\mathsf{Seq}(\\mathsf{Int})'
>>> to_latex_sort(smt.ArraySort(smt.IntSort(), smt.BoolSort()))
'\\mathsf{Int} \\to \\mathsf{Bool}'
>>> to_latex_sort(smt.ArraySort(smt.BitVecSort(8), smt.ArraySort(smt.IntSort(), smt.BoolSort())))
'\\mathsf{BV}_{8} \\to (\\mathsf{Int} \\to \\mathsf{Bool})'
>>> to_latex_sort(kd.TupleSort(smt.IntSort(), smt.BoolSort()))
'\\langle \\mathsf{Int}, \\mathsf{Bool} \\rangle'

Parameters:

sort (SortRef)

Return type:

str