Diffing.Define(3)                OCaml library               Diffing.Define(3)

NAME
       Diffing.Define - Define(Defs) creates the diffing types from the types
       defined in Defs and the functors that need to be instantatied with the
       diffing algorithm parameters

Module
       Module   Diffing.Define

Documentation
       Module Define
        : functor (D : Defs) -> sig end



       Define(Defs) creates the diffing types from the types defined in Defs
       and the functors that need to be instantatied with the diffing
       algorithm parameters


       Parameters:

       "D"

       Diffing.Defs







       type change = (D.left, D.right, D.eq, D.diff) Diffing.change


       The type of potential changes on a list.


       type patch = change list


       A patch is an ordered list of changes.


       module type Parameters = sig end




       module type S = sig end




       module Simple : sig end -> S




       module Left_variadic : sig end -> S



   Variadic diffing
       Variadic diffing allows to expand the lists being diffed during
       diffing.  in one specific direction.


       module Right_variadic : sig end -> S





OCamldoc                          2024-02-29                 Diffing.Define(3)