sig
  module L :
    sig
      type t = RegsetLat.t
      val beq : t -> t -> bool
      val lub : t -> t -> t
      val bot : t
    end
  val fixpoint :
    'a1 Maps.PTree.t ->
    ('a1 -> BinNums.positive list) ->
    (BinNums.positive -> L.t -> L.t) -> L.t Maps.PMap.t option
  val fixpoint_allnodes :
    'a1 Maps.PTree.t ->
    ('a1 -> BinNums.positive list) ->
    (BinNums.positive -> L.t -> L.t) -> L.t Maps.PMap.t option
end