Up
–
goblint
»
Goblint_lib
»
MyARG
»
InterestingArg
» IsInteresting
Parameter
InterestingArg.IsInteresting
val
is_interesting :
Arg.Node.t
->
Arg.Edge.t
->
Arg.Node.t
->
bool