kdrag.printers.lean.of_sort

kdrag.printers.lean.of_sort(s: SortRef) → str

Convert a sort to a Lean type.

>>> of_sort(smt.BoolSort())
'Bool'
>>> of_sort(smt.BitVecSort(8))
'(BitVec 8)'
>>> of_sort(smt.ArraySort(smt.BitVecSort(8), smt.BitVecSort(16)))
'((BitVec 8) -> (BitVec 16))'

Parameters:

s (SortRef)

Return type:

str