Check what clients need from completions and lookups - #13

Check what clients need from completions and lookups#13

bbatsov merged 1 commit into

mainnrepl/proof:mainfrom

lookupsnrepl/proof:lookupsCopy head branch name to clipboard