kdrag.reflect.sort_of_type

kdrag.reflect.sort_of_type(t: type | GenericAlias) → SortRef

Give equivalent SMT sort for a given Python type.

>>> sort_of_type(int)
Int
>>> sort_of_type(list[int])
Seq(Int)
>>> sort_of_type(dict[str, int])
Array(String, Int)
>>> sort_of_type(tuple[int, bool])
Tuple_Int_Bool
>>> sort_of_type(tuple)
Unit

Parameters:

t (type | GenericAlias)

Return type:

SortRef