sig
type var_or_fun =
GlobalVariable of Namespace_names.rqname
| FunctionDeclaration of Namespace_names.rqname
type var_graph
val build_var_graph : unit -> Norm_var_graph.var_graph
val reset_var_graph : Norm_var_graph.var_graph -> unit
val add_dependency :
Norm_var_graph.var_graph ->
Norm_var_graph.var_or_fun -> Norm_var_graph.var_or_fun -> unit
val check_cyclic_variables : Norm_var_graph.var_graph -> unit
end