goblint.lib
Arg.Edge
goblint.sites
goblint_sites_dune
goblint_sites_js
type t
val embed : MyCFG.edge -> t
val cfgedge : t -> MyCFG.edge option
val to_string : t -> string