I've re-opened https://github.com/overturetool/documentation/issues/17, after a bug report (and fixes) from PGL. It's a simple change - the point is that you can use a type bind with a sequence comprehension (as well as set and seq binds), as long as the type concerned is ordered. So the grammar ought to include a "bind" rather than a "set bind | seq bind".
I've re-opened https://github.com/overturetool/documentation/issues/17, after a bug report (and fixes) from PGL. It's a simple change - the point is that you can use a type bind with a sequence comprehension (as well as set and seq binds), as long as the type concerned is ordered. So the grammar ought to include a "bind" rather than a "set bind | seq bind".