Diffing.Define - Define(Defs) creates the diffing types from the types defined in Defs and the functors

       Module Define
        : (D:Defs)->sigendDefine(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.Defstypechange = (D.left,D.right,D.eq,D.diff)Diffing.change

       The type of potential changes on a list.

       typepatch = changelist

       A patch is an ordered list of changes.

       moduletypeParameters=sigendmoduletypeS=sigendmoduleSimple:sigend->SmoduleLeft_variadic:sigend->SVariadicdiffing
       Variadic diffing allows to expand the lists being diffed during diffing.  in one specific direction.

       moduleRight_variadic:sigend->S

OCamldoc                                           2025-06-12                                 Diffing.Define(3o)

       Module   Diffing.Define

       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