ksmt-core/io.ksmt.solver.util/ExprConversionResult/isArgumentsConversionRequired

isArgumentsConversionRequired

val isArgumentsConversionRequired: Boolean