Up – goblint » Goblint_solver » SLR » TwoPhased » N » XY » HPM » Infix

Module `HPM.Infix`

val (-->) : 'a t -> key -> 'a

val (<--) : 'a t -> (key * 'a) -> unit