val add :
'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->key:key->data:'a->
unit
val replace :
'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->key:key->data:'a->
unit
val iter :
f:(key:key->data:'a-> unit)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val for_all :
f:(key:key->data:'a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
bool
val map :
f:(key:key->data:'a->'b)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'bStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t
val map_inplace :
f:(key:key->data:'a->'a)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val filter :
f:('a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t
val filter_inplace :
f:('a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val filteri :
f:(key:key->data:'a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t
val filteri_inplace :
f:(key:key->data:'a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val filter_map :
f:(key:key->data:'a->'b option)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'bStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t
val filter_map_inplace :
f:(key:key->data:'a->'a option)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val fold :
f:(key:key->data:'a->'b->'b)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->init:'b->'b
val exists :
f:(key:key->data:'a-> bool)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
bool
val modify :
key:key->f:('a->'a)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val modify_def :
default:'a->key:key->f:('a->'a)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val modify_opt :
key:key->f:('a option->'a option)->'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->
unit
val merge :
f:(key->'a option->'b option->'c option)->left:'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->right:'bStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'cStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t
val merge_all :
f:(key->'a list->'b list->'c list)->left:'aStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->right:'bStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t->'cStdlib.Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t