kdrag.printers.rust.datatype_sort

kdrag.printers.rust.datatype_sort(s: DatatypeSortRef) → str

>>> datatype_sort(kd.TupleSort(smt.IntSort(), smt.BoolSort()))
'struct Tuple_Int_Bool { _0 : int, _1 : bool }'
>>> datatype_sort(kd.ListSort(smt.IntSort()))
'enum List_Int { Nil {  }, Cons { head : int, tail : List_Int } }'

Parameters:

s (DatatypeSortRef)

Return type:

str