ksmt-core/io.ksmt.expr/KQuantifier/bounds

bounds

val bounds: List<KDecl<*>>