Module `Jkind_axis.Per_axis`

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

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

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

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

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

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

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

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

Module Jkind_axis.Per_axis