ppx_helpers.modes_lib
Modes_lib.Separability
ppx_helpers
ppxlib
yojson
type t = separability
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