jon.recoil.org

Module S1_plain.Diff

type 'a derived_on = 'a t
type ('a, 'a_diff) t
val get : (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t) -> from:'a Diff.derived_on -> to_:'a Diff.derived_on -> ('a, 'a_diff) Diff.t Diffable.Optional_diff.t
val apply_exn : ('a -> 'a_diff -> 'a) -> 'a Diff.derived_on -> ('a, 'a_diff) Diff.t -> 'a Diff.derived_on
val of_list_exn : ('a_diff list -> 'a_diff Diffable.Optional_diff.t) -> ('a -> 'a_diff -> 'a) -> ('a, 'a_diff) Diff.t list -> ('a, 'a_diff) Diff.t Diffable.Optional_diff.t