### On the exact WKB analysis of microdifferential operators of WKB type

We first introduce the notion of microdifferential operators of WKB type and then develop their exact WKB analysis using microlocal analysis; a recursive way of constructing a WKB solution for such an operator is given through the symbol calculus of microdifferential operators, and their local structure near their turning points is discussed by a Weierstrass-type division theorem for such operators. A detailed study of the Berk-Book equation is given in Appendix.