package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Arg.Edge`

type t = TaskResult.Arg.Edge.t

val embed : MyCFG.edge -> t

val cfgedge : t -> MyCFG.edge option

val to_string : t -> string