ksmt-core/io.ksmt.utils/ArithUtils/RealValue/sub

sub

fun sub(other: ArithUtils.RealValue): ArithUtils.RealValue