Up
–
goblint
»
Goblint_lib
»
MyARG
» IsInteresting
Module type
MyARG.IsInteresting
type
node
type
edge
val
is_interesting :
node
->
edge
->
node
->
bool