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