Module `Jkind_axis.Per_axis`

val min : 'a Jkind_axis.Axis.t -> 'a

val max : 'a Jkind_axis.Axis.t -> 'a

val le : 'a Jkind_axis.Axis.t -> 'a -> 'a -> bool

val join : 'a Jkind_axis.Axis.t -> 'a -> 'a -> 'a

val meet : 'a Jkind_axis.Axis.t -> 'a -> 'a -> 'a

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

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

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

Module Jkind_axis.Per_axis