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.

type t = Pos.t
val compare : 'a -> 'a -> int
val default : Pos.t
OCaml

Innovation. Community. Security.