Module Merge_process.Make

Parameters

• S : sig ... end

Signature

val merge_and_exit : gen:int -> nv_map_ss:S.Nv_map_ss_.t -> ops:op list -> 'a

Perform the merge; if partition has changed, write to file "partition_1234" (with 1234 replaced by the gen); NOTE ops do not need to be sorted - that happens in batch ops in the parent