src/common/register.mli

   1 (* Pasted from Pottier's PP compiler *)
   2
   3 (** This module offers an abstract type of pseudo-registers, used in
   4     [RTL] and [ERTL].
   5
   6     This module really is a copy of module [Atom]. However,
   7     [Register.t] is an abstract type -- it is not equal to [Atom.t] or
   8     [Label.t]. *)
   9
  10 include AtomSig.S
  11