val save_dot : Core.Out_channel.t -> t list -> unit
val save_dot_to_file : string -> t list -> unit
val append_user_info_graphviz : t -> label:string list -> attrs:string Core.String.Map.t -> unit