jon.recoil.org

Module Jkind_axis.Separability

type t =
  1. | Non_pointer
  2. | Non_pointer64
  3. | Non_float
  4. | Separable
  5. | Maybe_separable
include Axis_ops with type t := t
include Mode_intf.Lattice with type t := t
val min : t
val max : t
val le : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val print : Mode_intf.Fmt.formatter -> t -> unit
val to_string : t -> string
val less_or_equal : t -> t -> Misc.Le_result.t
val equal : t -> t -> bool
val upper_bound_if_is_always_gc_ignorable : unit -> t