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