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