kdrag.theories.list.ListSort

kdrag.theories.list.ListSort(Elt: SortRef) → DatatypeSortRef

>>> ListSort(smt.IntSort())
List_Int...