package lbvs_consent

  1. Overview
  2. Docs
module IntSet = BatSet.Int
type t = {
  1. typ : string;
  2. succs : IntSet.t;
}
val create : string -> IntSet.t -> t
val dummy : t
val add_succ : t -> int -> t
val to_string : t -> string
val get_succs : t -> IntSet.t
val get_typ : t -> string