Parameters
module D : Diffing.Defs with type eq := unitSignature
type patch = composite_change listtype change = (left, right, unit, diff) Diffing.changeAtomic changes
module type Parameters = sig ... endmodule Simple (_ : Parameters) : sig ... end