ksmt-core/io.ksmt/KContext/bv1Sort

bv1Sort

val bv1Sort: KBv1Sort