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