catala.desugared
Dependency.Vertex
Vertices: scope variables or subscopes.
The vertices of the scope dependency graph are either :
Indeed, during interpretation, subscopes are executed atomically.
catala
catala.dcalc
catala.literate
catala.scopelang
catala.surface
catala.utils
type t =
| Var of Scopelang.Ast.ScopeVar.t
| SubScope of Scopelang.Ast.SubScopeName.t
val hash : t -> int
val compare : 'a -> 'a -> int
val equal : t -> t -> bool
val format_t : Format.formatter -> t -> unit