Up – Package index » goblint » Library goblint.lib » Goblint_lib » Svcomp » StackTaskResult » Arg » Edge

Module `Arg.Edge`

type t = TaskResult.Arg.Edge.t

val embed : MyCFG.edge -> t

val to_string : t -> string