package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Interpreted_automata.Dot`

module V : sig ... end

module E : sig ... end

module G : Graph.Sig.G with type V.t = V.t and type E.t = V.t * E.t * V.t

val output_to_dot : 
  out_channel ->
  ?labeling:V.t labeling ->
  ?wto:V.t Wto.partition ->
  G.t ->
  unit