sig
  val diff : D.state -> D.left array -> D.right array -> Diffing.Define.patch
end