A guess at the shape of an edit, from the symbols it exchanges and
from the systems the version and the one it is based on are coded
for, or nothing where it takes no shape the guess knows. It looks at
the edit alone: a single expression deleted is taken for a redundancy
removed, which proposeEdits checks against the text.
A guess at the shape of an edit, from the symbols it exchanges and from the systems the version and the one it is based on are coded for, or nothing where it takes no shape the guess knows. It looks at the edit alone: a single expression deleted is taken for a redundancy removed, which
proposeEditschecks against the text.