catala.desugared
ScopeDependencies.E
catala
catala.dcalc
catala.literate
catala.scopelang
catala.surface
catala.utils
type t = Vertex.t * Edge.t * Vertex.t
val compare : t -> t -> int
type vertex = vertex
val src : t -> vertex
val dst : t -> vertex
type label = Edge.t
val create : vertex -> label -> vertex -> t
val label : t -> label