package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Arg : BiArg
module NodeStyles : NodeStyles with type node = Arg.Node.t

Signature

val dot_node_name : Stdlib.Format.formatter -> Arg.Node.t -> unit
val dot_edge : Stdlib.Format.formatter -> Arg.Node.t -> (Arg.Edge.t * Arg.Node.t) -> unit
val dot_node : Stdlib.Format.formatter -> NodeStyles.node -> unit
val dot_nodes : Stdlib.Format.formatter -> unit
val dot : Stdlib.Format.formatter -> unit
OCaml

Innovation. Community. Security.