ksmt-core/io.ksmt.decl/KDecl/print

print

open override fun print(builder: StringBuilder)