Parameters ->
  sig
    val diff :
      D.state ->
      D.left list -> D.right list -> Diffing_with_keys.Define.patch
  end