ksmt-core/io.ksmt.expr/KBvReductionAndExpr/sort

sort

open override val sort: KBv1Sort