Module type `Diff.S1_plain`

type 'a derived_on

type ('a, 'a_diff) t

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t) ->
  from:'a derived_on ->
  to_:'a derived_on ->
  ('a, 'a_diff) t Diffable.Optional_diff.t

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a derived_on ->
  ('a, 'a_diff) t ->
  'a derived_on

val of_list_exn : 
  ('a_diff list -> 'a_diff Diffable.Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) t list ->
  ('a, 'a_diff) t Diffable.Optional_diff.t

Module type Diff.S1_plain

Module type `Diff.S1_plain`