Diffing_with_keys.Define(3) OCaml library Diffing_with_keys.Define(3) NAME Diffing_with_keys.Define - no description Module Module Diffing_with_keys.Define Documentation Module Define : functor (D : sig end) -> sig end Parameters: "D" sig end type diff = (D.left, D.right, D.diff) Diffing_with_keys.mismatch type left = D.left Diffing_with_keys.with_pos type right = D.right Diffing_with_keys.with_pos type composite_change = (D.left, D.right, D.diff) Diffing_with_keys.change Composite changes and patches type patch = composite_change list type change = (left, right, unit, diff) Diffing.change Atomic changes module type Parameters = sig end module Simple : Parameters -> sig end OCamldoc 2024-02-29 Diffing_with_keys.Define(3)