package goblint

You can search for identifiers within the package.

in-package search v0.2.0

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