Up
–
goblint
»
Goblint_lib
»
ArgTools
» NodeStyles
Module type
ArgTools.NodeStyles
type
node
val
extra_node_styles :
node
->
string list