Module Diffing.Define

Parameters

module D : Defs

Signature

type nonrec change = (D.left, D.right, D.eq, D.diff) change
type patch = change list
module type Parameters = sig ... end
module type S = sig ... end
module Simple (_ : sig ... end) : S
module Left_variadic (_ : sig ... end) : S
module Right_variadic (_ : sig ... end) : S