To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
module SDependencies :
Graph.Sig.P
with type V.t = Scopelang.Ast.ScopeName.t
and type E.label = Utils.Pos.tOn the edges, the label is the expression responsible for the use of the function
val build_program_dep_graph : Ast.program -> SDependencies.tval check_for_cycle_in_scope : SDependencies.t -> unitval get_scope_ordering : SDependencies.t -> Scopelang.Ast.ScopeName.t listType dependencies
module TVertex : sig ... endmodule TVertexSet : Set.S with type elt = TVertex.tmodule TDependencies :
Graph.Sig.P with type V.t = TVertex.t and type E.label = Utils.Pos.tOn the edges, the label is the expression responsible for the use of the function
val get_structs_or_enums_in_type : Ast.typ Utils.Pos.marked -> TVertexSet.tval build_type_graph : Ast.struct_ctx -> Ast.enum_ctx -> TDependencies.tval check_type_cycles : Ast.struct_ctx -> Ast.enum_ctx -> TVertex.t listOn This Page