Module `Jkind_axis.Separability`

type t =

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

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

val min : Jkind_axis.Separability.t

val max : Jkind_axis.Separability.t

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

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

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

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

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

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

Module Jkind_axis.Separability