CFGEdge (goblint.Goblint_lib.MyARG.CFGEdge)

type t = MyCFG.edge

val embed : MyCFG.edge -> t

val to_string : t -> string