package molenc

  1. Overview
  2. Docs
module IntSet = BatSet.Int
type t = {
  1. typ : PiEltHA.t;
  2. 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
OCaml

Innovation. Community. Security.