Module Atomic.MakeSource

Parameters

module V : sig ... end

Signature

include Diffable_intf.S with type t = V.t and type Update.Diff.t = V.t
Sourcemodule Update : sig ... end
include Diffable_intf.S_plain with module Update := Update with type t = V.t
Sourcetype t = V.t
Sourceval update : t -> Update.t -> t
Sourceval diffs : from:t -> to_:t -> Update.t
Sourceval to_diffs : t -> Update.t
Sourceval of_diffs : Update.t -> t