module IntSet = BatSet.Int
type t = {
typ : PiEltHA.t;
succs : IntSet.t;
}
val create : PiEltHA.t -> IntSet.t -> t
val dummy : t
val add_succ : t -> int -> t
val get_succs : t -> IntSet.t
val get_typ : t -> PiEltHA.t