$\hbar$-Riemann-Hilbert correspondence

We formulate and prove a Riemann-Hilbert correspondence between $\hbar$-differential equations and sheaf quantizations, which can be considered as a correspondence between two kinds of quantizations (deformation and sheaf quantization) of holomorphic cotangent bundles. The latter category is expected to be equivalent to a version of Fukaya category, which is a "quantization" of Lagrangian intersection theory. The ideas of the constructions are based on asymptotic/WKB analysis, which is related to geometric quantization.