Modes_lib.Nullability
type t = nullability
val top : t
val bottom : t
val join : t -> t -> t
val meet : t -> t -> t
val le : t -> t -> bool
val equal : t -> t -> bool
val all : t list
val of_nonmodal : Modes_lib__.Modes_lib_intf.Definitions.Nonmodal.t -> t option
val to_nonmodal : t -> Modes_lib__.Modes_lib_intf.Definitions.Nonmodal.t