Up – Package index » goblint » Library goblint.lib » CfgTools » CfgPrinters » NodeStyles

Parameter `CfgPrinters.NodeStyles`

val defaultNodeStyles : string list

val extraNodeStyles : MyCFG.node -> string list