ksmt-core/io.ksmt.decl/KParameterizedFuncDecl/parameters

parameters

abstract val parameters: List<Any>