package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Arg.Node`

type t = TaskResult.Arg.Node.t list

val equal : t -> t -> bool

val hash : t -> int

val compare : t -> t -> int

val cfgnode : t -> MyCFG.node

val context_id : t -> int

val path_id : t -> int

val to_string : t -> string

val move_opt : t -> MyCFG.node -> t option

val equal_node_context : t -> t -> bool