ksmt-core/io.ksmt/KContext/mkRealSort

mkRealSort

fun mkRealSort(): KRealSort

Create a Real sort.