Module Atomic.Make

Parameters

module M : sig ... end

Signature

module Diff : sig ... end