jon.recoil.org

Module Jkind_axis.Per_axis

val min : 'a Axis.t -> 'a
val max : 'a Axis.t -> 'a
val le : 'a Axis.t -> 'a -> 'a -> bool
val equal : 'a Axis.t -> 'a -> 'a -> bool
val join : 'a Axis.t -> 'a -> 'a -> 'a
val meet : 'a Axis.t -> 'a -> 'a -> 'a
val print : 'a Axis.t -> Solver_intf.Fmt.formatter -> 'a -> unit
val compare_obj : 'a Axis.t -> 'b Axis.t -> int

Total ordering on objects, used for internal map keys. This is not a lattice ordering or semantic equality check. If this returns 0, then equal_obj must return Misc.Is_eq.

val equal_obj : 'a Axis.t -> 'b Axis.t -> ('a, 'b) Misc.is_eq

Equality on objects recognized by the solver. This is the only object comparison that carries type equality evidence.

val print_obj : Solver_intf.Fmt.formatter -> 'a Axis.t -> unit