sig
  type t = Registers.Regset.t
  val beq : t -> t -> bool
  val bot : t
  val lub : t -> t -> t
end