package conex
Module Conex_diff_providerSource
Data provider using an existing provider and a diff
Source
val ids :
string ->
Conex_utils.path ->
Patch.t list ->
(bool * Conex_utils.S.t, string) resultids rootname keydir diffs returns whether the root file was changed, and the set of modified ids.