Module `Const.Per_axis`

val min : 'a Mode.Value.Comonadic.Axis.t -> 'a

val max : 'a Mode.Value.Comonadic.Axis.t -> 'a

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

val join : 'a Mode.Value.Comonadic.Axis.t -> 'a -> 'a -> 'a

val meet : 'a Mode.Value.Comonadic.Axis.t -> 'a -> 'a -> 'a

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

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

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

Module Const.Per_axis