arrow-analysis-common/arrow.meta.plugins.analysis.smt.utils/NameProvider/recordNewName

recordNewName

fun recordNewName(prefix: String, mirroredElement: ReferencedElement?): String
Content copied to clipboard