Module `Crossing.Per_axis`

val min : 'a Mode.Crossing.Axis.t -> 'a

val max : 'a Mode.Crossing.Axis.t -> 'a

val le : 'a Mode.Crossing.Axis.t -> 'a -> 'a -> bool

val join : 'a Mode.Crossing.Axis.t -> 'a -> 'a -> 'a

val meet : 'a Mode.Crossing.Axis.t -> 'a -> 'a -> 'a

val print : 'a Mode.Crossing.Axis.t -> Stdlib.Format.formatter -> 'a -> unit

val eq_obj : 
  'a Mode.Crossing.Axis.t ->
  'b Mode.Crossing.Axis.t ->
  ('a, 'b) Misc.eq option

val print_obj : Stdlib.Format.formatter -> 'a Mode.Crossing.Axis.t -> unit

Module Crossing.Per_axis