Re: Windows' "split status"

[martin rudalics]

> Quite. Lots of docstrings talk about invariants, because this is really
> useful. Even something like the description of what `right-char' or
> `newline' do are invariants.

An invariant is a property (or a formula) that is valid when Emacs starts
and is preserved by every atomic step in any execution of Emacs.  The
description of what a function does is not an invariant (unless you mean
that the execution of Emacs leaves the description itself alone).

> None of them should eschew talking about
> those invariants simply because they are not atomic

What is an atomic invariant?

> from the POV of the Emacs core.

martin