Module `Jkind_axis.Externality`

The jkind axis of Externality

type t =

include Ocaml_typing.Jkind_axis.Axis_ops
  with type t := Ocaml_typing.Jkind_axis.Externality.t

include Ocaml_typing.Mode_intf.Lattice
  with type t := Ocaml_typing.Jkind_axis.Externality.t

val min : Ocaml_typing.Jkind_axis.Externality.t

val max : Ocaml_typing.Jkind_axis.Externality.t

val le : 
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  bool

val join : 
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t

val meet : 
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t

val print : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  unit

val less_or_equal : 
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_utils.Misc_stdlib.Le_result.t

val equal : 
  Ocaml_typing.Jkind_axis.Externality.t ->
  Ocaml_typing.Jkind_axis.Externality.t ->
  bool

val upper_bound_if_is_always_gc_ignorable : 
  unit ->
  Ocaml_typing.Jkind_axis.Externality.t

Module Jkind_axis.Externality