Predicate duplicateLines
INTERNAL: do not use.
Holds if line in f is duplicated by a line somewhere else.
Import path
import external.CodeDuplicationpredicate duplicateLines(File f, int line)INTERNAL: do not use.
Holds if line in f is duplicated by a line somewhere else.
import external.CodeDuplicationpredicate duplicateLines(File f, int line)