tree dbf442f4be45e59074bdbbc758c31e5255b1880a
parent 5953c66f60cd04c7e10d7a1f51878b41105f6d64
author Marcel van Lohuizen <mpvl@golang.org> 1548168812 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1548528844 +0100

doc/ref: updates to spec based on jba’s comments

Regarding the rewrite of disjunctions:
I also verified this definition works well with cycles.

Change-Id: I807ba0835e3868d643e4fc6665a44c0fa5b723fd