arrow-analysis-common/arrow.meta.plugins.analysis.smt/isSingleVariable

isSingleVariable

fun FormulaManager.isSingleVariable(f: Formula): Boolean
Content copied to clipboard