Module Norm_var_graph

module Norm_var_graph: sig .. end

type var_or_fun =

`\|`	`GlobalVariable of Namespace_names.rqname`
`\|`	`FunctionDeclaration of Namespace_names.rqname`

type var_graph

val build_var_graph : unit -> var_graph

val reset_var_graph : var_graph -> unit

val add_dependency : var_graph ->
       var_or_fun -> var_or_fun -> unit

val check_cyclic_variables : var_graph -> unit