jon.recoil.org

Module Crossing.Per_axisSource

For interfacing with the user only; potentially slow.

Sourceval min : 'a Axis.t -> 'a
Sourceval max : 'a Axis.t -> 'a
Sourceval le : 'a Axis.t -> 'a -> 'a -> bool
Sourceval equal : 'a Axis.t -> 'a -> 'a -> bool
Sourceval join : 'a Axis.t -> 'a -> 'a -> 'a
Sourceval meet : 'a Axis.t -> 'a -> 'a -> 'a
Sourceval 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.

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

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