kdrag.printers.rust.of_sort

kdrag.printers.rust.of_sort(s: SortRef) → str

>>> of_sort(smt.SeqSort(smt.BitVecSort(8)))
'Seq<u8>'
>>> of_sort(smt.IntSort())
'int'
>>> of_sort(smt.BoolSort())
'bool'
>>> of_sort(smt.ArraySort(smt.IntSort(), smt.BoolSort()))
'Set<int>'

Parameters:: s (SortRef)
Return type:: str