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 : Format.formatter -> MyCFG.node -> unit

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