goblint.lib
MyARG.InlineEdge
goblint.sites
goblint_sites_dune
goblint_sites_js
type t = inline_edge
val embed : MyCFG.edge -> t
val cfgedge : t -> MyCFG.edge option
val to_string : t -> string