package catala

  1. Overview
  2. Docs

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
type t = Utils.Pos.t
val compare : t -> t -> int
val default : t