package molenc

  1. Overview
  2. Docs

Module Molenc.NodeSource

Sourcemodule IntSet = BatSet.Int
Sourcetype t = {
  1. typ : PiEltHA.t;
  2. succs : IntSet.t;
}
Sourceval create : PiEltHA.t -> IntSet.t -> t
Sourceval dummy : t
Sourceval add_succ : t -> int -> t
Sourceval get_succs : t -> IntSet.t
Sourceval get_typ : t -> PiEltHA.t
OCaml

Innovation. Community. Security.