Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of the Laplace transformed Schrödinger équation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB asymptotics predicted by Voros in 1983.