package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module type `CfgTools.CfgPrinters`

val defaultNodeStyles : string list

val printNodeStyle : out_channel -> MyCFG.node -> unit

val printEdgeStyle : 
  out_channel ->
  MyCFG.node ->
  (MyCFG.edges * MyCFG.node) ->
  unit