sig
  val new_node : Node.t -> unit
  val candidate : Node.t -> Node.t -> unit
  val fixpoint : Node.t -> int list -> unit
  val restart : unit -> unit
  val error_trace : Node.t -> unit
  val open_dot : unit -> unit -> unit
  val delete_node_by : Node.t -> Node.t -> unit
end