module Norm_var_graph:sig
..end
type
var_or_fun =
| |
GlobalVariable of |
| |
FunctionDeclaration of |
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