kdrag.printers.c.ctype_of_sort

kdrag.printers.c.ctype_of_sort(s: SortRef)

>>> ctype_of_sort(smt.ArraySort(smt.BitVecSort(8), smt.BitVecSort(32), smt.BitVecSort(16)))
'uint16_t**'