module Simple: functor (* : sig
functor (
*
:
sig
end) -> sig .. end
end
) ->
参数
val diff : D.state -> D.left list -> D.right list -> Diffing_with_keys.Define.patch
D.state -> D.left list -> D.right list -> Diffing_with_keys.Define.patch