ksmt-core/io.ksmt.solver.model/KFuncInterp/sort

sort

open val sort: T