An ADT representing the "shape" of the computation of the differences between two schemas.
Comparing two schemas involves recusively comparing (various combinations of) their
respective sub-schemas; each member of the Comparison ADT represents one of such
combination of recursive comparisons.
An ADT representing the "shape" of the computation of the differences between two schemas.
Comparing two schemas involves recusively comparing (various combinations of) their respective sub-schemas; each member of the
Comparison
ADT represents one of such combination of recursive comparisons.the type of schemas under comparison, typically a fix-point of higherkindness.skeuomorph.mu.MuF, like
Mu[MuF]
the type acted upon by this pattern-functor