|class Diffable a b where||Source|
|Same||Both arguments are the same.
|SameHead d||The arguments are recursive expressions of the same form, but their subterms differ. Return a "decorated" term that shows where the differences are
|Differ d d||The arguments differ and are not of similar form (don't recurse)
|Less random generator for generating formulae suitable for testing diff
|Produced by Haddock version 2.4.2|