Ben Greenman 6f9adb45a8 doc: replace undefined module name ... Replace `debug-scopes/named-scopes` with one of the two documented "sub" modules.		2019-12-17 10:58:07 -05:00
..
debug-scopes.scrbl	doc: replace undefined module name	2019-12-17 10:58:07 -05:00