Module Merge.SetSource

Lift merge functions to sets.

Parameters

module E : sig ... end

Signature