Vertex (catala.Desugared.Dependency.Vertex)

type t =

| Var of Shared_ast.ScopeVar.t * Shared_ast.StateName.t option

| SubScope of Shared_ast.SubScopeName.t

| Assertion of Ast.AssertionName.t

val format_t : 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