Extract partially synchronous query logic from company-async-candidates
Extract partially synchronous query logic from company-async-candidates

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el