kdrag.theories.list.List

kdrag.theories.list.List(Elt: SortRef) → List_

>>> IntList = List(smt.IntSort())
>>> IntList.Cons(1, IntList.Nil)
Cons(1, Nil)