package catala

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

Module Scopelang.DependencySource

Graph representation of the dependencies between scopes in the Catala program. Vertices are functions, x -> y if x is used in the definition of y.

Scope dependencies

On the edges, the label is the expression responsible for the use of the function

Sourceval build_program_dep_graph : 'm Ast.program -> SDependencies.t
Sourceval check_for_cycle_in_defs : SDependencies.t -> unit
Sourceval get_defs_ordering : SDependencies.t -> vertex list
Sourceval inter_scope_dependencies_graph_to_json : SDependencies.t -> Yojson.Safe.t

On the edges, the label is the expression responsible for the use of the function

Sourceval get_structs_or_enums_in_type : Shared_ast.typ -> Shared_ast.TypeIdent.Set.t
Sourceval type_dependencies_graph_to_json : TDependencies.t -> Yojson.Safe.t