ksmt-core/io.ksmt/KContext/realSort

realSort

val realSort: KRealSort