package typerep_extended

  1. Overview
  2. Docs
package typerep_extended
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

type t
include sig ... end
val sexp_of_t : t -> Sexplib.Sexp.t
val is_empty : t -> bool
val compute : type_struct -> type_struct -> t
val is_bin_prot_subtype : subtype:type_struct -> supertype:type_struct -> bool
val incompatible_changes : t -> t