Diffing.Define.Parameters - no description

       Module type Parameters
        = sigendtypeupdate_resultvalweight : Diffing.Define.change->intweightch returns the weight of the change ch .  Used to find the smallest patch.

       valtest : D.state->D.left->D.right->(D.eq,D.diff)resultteststxlxr tests if the elements xl and xr are co  mpatible ( Ok ) or not ( Error ).

       valupdate : Diffing.Define.change->D.state->update_resultupdatechst  returns  the  new  state  after  applying a change.  The update_result type also contains
       expansions in the variadic case.

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

       Module type   Diffing.Define.Parameters

       Diffing.Define.Parameters - no description