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.dcalc
catala.driver
catala.lcalc
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.surface
catala.utils
include Graph.Sig.ORDERED_TYPE with type t = Utils.Pos.t
type t = Utils.Pos.t
val compare : t -> t -> int
val default : t