arrow-analysis-common/arrow.meta.plugins.analysis.smt/Solver/makeBooleanObjectVariable

makeBooleanObjectVariable

fun makeBooleanObjectVariable(varName: String): BooleanFormula
Content copied to clipboard