ksmt-core/io.ksmt.solver.model/KModelImpl/declarations

declarations

open override val declarations: Set<KDecl<*>>