package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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 = Catala_utils.Pos.t
Sourceval compare : t -> t -> int
Sourceval default : t