goblint.lib
InterestingArg.IsInteresting
goblint.sites
goblint_sites_dune
goblint_sites_js
val is_interesting : Arg.Node.t -> Arg.Edge.t -> Arg.Node.t -> bool