Standard updoc prelude
From Erights
The following line
? pragma.syntax("0.9")
declares to updoc that further updoc passages on this page are in E 0.9 syntax.
The following line
? pragma.syntax("0.9")
declares to updoc that further updoc passages on this page are in E 0.9 syntax.