Module Result.Infix

val (-->) : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> key -> 'a
val (<--) : 'a Hashtbl.Make(Goblint_lib__Analyses.ResultNode).t -> (key * 'a) -> unit