package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `StackTaskResult.TaskResult`

module Arg : MyARG.S with module Edge = MyARG.InlineEdge

val result : Result.t

val invariant : Arg.Node.t -> Invariant.t

val is_violation : Arg.Node.t -> bool

val is_sink : Arg.Node.t -> bool