Module Dep.Node

and mirror' =
  1. | BoolN of bool
  2. | NumN of Lang.Xl.Num.t
  3. | TextN of string
  4. | StructN of (Lang.Sl.atom * Lang.Sl.vid) list
  5. | CaseN of Lang.Sl.mixop * Lang.Sl.vid list
  6. | TupleN of Lang.Sl.vid list
  7. | OptN of Lang.Sl.vid option
  8. | ListN of Lang.Sl.vid list
  9. | FuncN of Lang.Sl.id
  10. | ExternN of Yojson.Safe.t
type taint =
  1. | Red
  2. | White
type t = mirror * taint
val mirror : ('a * 'b) -> 'a
val taint : ('a * 'b) -> 'b
val is_source : taint -> bool
val dot_of_mirror : mirror -> string
val dot_of_taint : taint -> string
val dot_of_node : Lang.Sl.vid -> t -> string