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