package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Result.Infix`

val (-->) : 'a BatHashtbl.Make(Analyses.ResultNode).t -> key -> 'a

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