6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/request.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/query.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/serverState.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/locationBasedLookupProcessor.mli (1:6, 22%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/start.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/exclusiveLock.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/checksumMap.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/stop.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/server/query.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/server/savedStateAction.mli (1:6, 35%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/savedState.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/criticalFile.mli (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/serverProperties.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/exclusiveLock.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/server/watchman.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/subscription.mli (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/server/startupNotification.mli (1:6, 37%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/checksumMap.mli (1:6, 19%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/requestHandler.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/response.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/buildSystem.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/requestHandler.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/server/savedStateAction.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/server/stop.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/server/criticalFile.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/server/savedState.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/server/locationBasedLookupProcessor.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/server/watchman.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/startupNotification.ml (1:6, 35%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/server/start.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/server/buildSystem.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/startOptions.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/server/subscription.ml (1:6, 14%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/server/serverState.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/server/serverState.ml (1:6, 8%)