ksmt-core/io.ksmt.decl/KDecl/sort

sort

val sort: T