Up – Package index » goblint index » Library goblint.lib » Goblint_lib » Control » AnalyzeCFG » Result » Infix

Module `Result.Infix`

val (-->) : 
  'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
  key ->
  'a

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