kdrag.reflect.type_of_sort

kdrag.reflect.type_of_sort(s: SortRef) → type

Give equivalent Python type for a given SMT sort.

>>> type_of_sort(smt.IntSort())
<class 'int'>
>>> type_of_sort(smt.ArraySort(smt.StringSort(), smt.IntSort()))
<class 'dict'>
>>> type_of_sort(smt.SeqSort(smt.IntSort()))
<class 'list'>

Parameters:

s (SortRef)

Return type:

type