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