Brassaia_eio.Atomic_write_intf
type 'a diff = 'a Diff.t
module type S = sig ... end
module type Maker = functor (K : Type.S) -> functor (V : Type.S) -> sig ... end
module type Sigs = sig ... end