Dependency.Vertex
type t =
| Var of Shared_ast.ScopeVar.t * Shared_ast.StateName.t option
| Assertion of Ast.AssertionName.t
val format : Stdlib.Format.formatter -> t -> unit
val info : t -> Catala_utils.Uid.MarkedString.info
include Graph.Sig.COMPARABLE with type t := t
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool