Jkind_axis.Axis_ops
Re-export
include Mode_intf.Lattice
type t
val min : t
val max : t
val le : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val print : Stdlib.Format.formatter -> t -> unit
val less_or_equal : t -> t -> Misc.Le_result.t
val equal : t -> t -> bool