Module Result.Infix

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