catala.desugared
Dependency.Edge
On the edges, the label is the position of the expression responsible for the use of the variable. In the graph, x -> y if x is used in the definition of y.
x -> y
x
y
catala
catala.dcalc
catala.literate
catala.scopelang
catala.surface
catala.utils
type t = Pos.t
val compare : 'a -> 'a -> int
val default : Pos.t