Module Typerep_extended.Type_struct.Diff

Diff offers a way to know given two type structures if their bin_io representation would be compatible. If not, the difference between the structure is computed and can be given as part as an error message.

Diff.t is *NOT* stable. It does not support with bin_io on purpose, not any guarantee is given about the type of diffs : it may arbitrarily change in any further version. Consider that serializing it as an Sexp.t with the only aim being to log it somewhere for a human to read is the *only* reasonable thing to do with a Diff.t over the wire.