A human-readable description of differences during the comparison In combination with isEqual this can be used to provide detailed explanation on equal structures as well (e.g., if structures could be equal).
true iff the compared structures are equal (i.e., the diff is empty)
To be produced by a function differencing two graphs (e.g., DFGs or ControlFlowGraph|CFGs).
See