package catala

  1. Overview
  2. Docs

Module Dependency.EdgeSource

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.

include Graph.Sig.ORDERED_TYPE with type t = Utils.Pos.t
Sourceval compare : t -> t -> int
Sourceval default : t