Exceptionless (goblint.Goblint_lib.Control.AnalyzeCFG.Result.Exceptionless)

val find : 
  'a BatHashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
  key ->
  'a option

val modify : 
  key ->
  ('a -> 'a) ->
  'a BatHashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
  (unit, exn) BatPervasives.result