Up – Index » goblint » Goblint_lib » Control » AnalyzeCFG » Result » Infix

Module `Result.Infix`

val (-->) : 'a H.t -> MyCFG.node -> 'a

val (<--) : 'a H.t -> (MyCFG.node * 'a) -> unit