Microlocalization functor