s_mach.datadiff
Generate a DataDiff implementation for a product type
the value type
the patch type for the value type
the DataDiff implementation