Module AbstractDomain.StackedUtils

val leq : leq_below:(lhs:'b -> rhs:'b -> bool) -> leq:(lhs:'v -> rhs:'v -> bool) -> leq_above:(lhs:'a -> rhs:'a -> bool) -> lhs:('b, 'v, 'a) Types.below_above -> rhs:('b, 'v, 'a) Types.below_above -> bool
val compare : ('b, 'v, 'a) Types.below_above -> ('b, 'v, 'a) Types.below_above -> cmp_below:('b -> 'b -> int) -> cmp:('v -> 'v -> int) -> cmp_above:('a -> 'a -> int) -> int
val pp : pp_below:(F.formatter -> 'b -> unit) -> pp:(F.formatter -> 'v -> unit) -> pp_above:(F.formatter -> 'a -> unit) -> F.formatter -> ('b, 'v, 'a) Types.below_above -> unit
val combine : dir:[ `Increasing | `Decreasing ] -> ('b, 'v, 'a) Types.below_above -> ('b, 'v, 'a) Types.below_above -> f_below:('b -> 'b -> 'b) -> f:('v -> 'v -> 'v) -> f_above:('a -> 'a -> 'a) -> ('b, 'v, 'a) Types.below_above
val map : ('b, 'v, 'a) Types.below_above -> f_below:('b -> 'b2) -> f:('v -> 'v2) -> f_above:('a -> 'a2) -> ('b2, 'v2, 'a2) Types.below_above