Up
–
goblint
»
Goblint_lib
»
Svcomp
»
StackTaskResult
»
Arg
» Edge
Module
Arg.Edge
type
t
val
embed :
MyCFG.edge
->
t
val
to_string :
t
->
string