kdrag.theories.list.List

kdrag.theories.list.List(sort: SortRef) → DatatypeSortRef

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