ksmt-core/io.ksmt.solver/KModel/declarations

declarations

abstract val declarations: Set<KDecl<*>>