goblint.lib
Result.Infix
goblint.sites
goblint_sites_dune
goblint_sites_js
val (-->) : 'a Hashtbl.Make(ResultNode).t -> key -> 'a
val (<--) : 'a Hashtbl.Make(ResultNode).t -> (key * 'a) -> unit