ksmt-core/io.ksmt.expr/KExpr/sort

sort

abstract val sort: T