Diffing.Define.Left_variadic - Variadic diffing

       Module Left_variadic
        : sigend->SVariadicdiffing
       Variadic diffing allows to expand the lists being diffed during diffing.  in one specific direction.

       Parameters:

       "*"

       sigendvaldiff : D.state->D.leftarray->D.rightarray->Diffing.Define.patchdiffstatelr computes the optimal patch between l and r , using the initial state state .

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

       Module   Diffing.Define.Left_variadic

       Diffing.Define.Left_variadic -  Variadic diffing