Module H.Infix

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