Result.Exceptionlessval find :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a optionval modify :
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(unit, exn) BatPervasives.result