In this paper, a general theory of $\varphi$-module is developed. In particular, it is explained how the results of the paper "The Tate conjecture for $t$-motives" implies the "usual" form of the Tate conjecture for Drinfeld modules.