Module Summary.Var_graph

type node = Var.t
module Node_set : sig ... end
module Hashtbl : sig ... end
val with_node_capacity : int -> 'a Hashtbl.t
val node_count : 'a Hashtbl.t -> int
val pp : Node_set.t Hashtbl.t Fmt.t
val add_edge : Node_set.t Hashtbl.t -> Hashtbl.key -> Node_set.elt -> unit
val add_double_edge : Node_set.t Hashtbl.t -> Hashtbl.key -> Node_set.elt -> unit
val set_edges_from : 'a Hashtbl.t -> Hashtbl.key -> 'a -> unit
val reachable_from : Node_set.t Hashtbl.t -> Node_set.t -> Node_set.t
val weak_topological_order : t -> node list