sig
  type update_result
  val weight : Diffing.Define.change -> int
  val test : D.state -> D.left -> D.right -> (D.eq, D.diff) Stdlib.result
  val update :
    Diffing.Define.change ->
    D.state -> Diffing.Define.Parameters.update_result
end