Constructibility and duality for simple holonomic modules on complex symplectic manifolds

Consider a complex symplectic manifold x and the algebroid stack W-x of deformation-quantization. For two regular holonomic W-x--modules Li (i = 0, 1) supported by smooth Lagrangian submanifolds, we prove that the complex RHom(Wx) (L1, L0) is perverse over the field W-pt and dual to the complex RHom(Wx) (L0, L1).