Module `Jkind_axis.Externality`

The jkind axis of Externality

type t =

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

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

val min : Jkind_axis.Externality.t

val max : Jkind_axis.Externality.t

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

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

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

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

val less_or_equal : 
  Jkind_axis.Externality.t ->
  Jkind_axis.Externality.t ->
  Misc.Le_result.t

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

val upper_bound_if_is_always_gc_ignorable : unit -> Jkind_axis.Externality.t

Module Jkind_axis.Externality