Heavy-quark effective theory (HQET) is applied to lattice QCD with Wilson f
ermions at fixed lattice spacing a. This description is possible because he
avy-quark symmetries are respected. It is desirable because the ultraviolet
cutoff 1/a in current numerical work and the heavy-quark mass m(Q) are com
parable. Effects of both short distances a and 1/m(Q) are captured fully in
to coefficient functions, which multiply the operators of the usual HQET. S
tandard tools of HQET are used to develop heavy-quark expansions of lattice
observables and, thus, to propagate heavy-quark discretization errors. Thr
ee explicit examples are given: namely, the mass, decay constant, and semil
eptonic form factors of heavy-light mesons.