參數 ->
  sig
    val diff 
      D.state ->
      D.left list -> D.right list -> Diffing_with_keys.Define.patch
  end