The operations are the edits. Operational Differencing generalizes on Operational Transformation, so there is a second-order semantics of how operations operate on operations. There may be a useful analogy with Calculus (of continuous functions) but I've been avoiding it as it sounds pretentious.