Module `Const.Option`

type some = t

type t =
  (Locality.Const.t option,
    Linearity.Const.t option,
    Uniqueness.Const.t option,
    Portability.Const.t option,
    Contention.Const.t option,
    Forkable.Const.t option,
    Yielding.Const.t option,
    Statefulness.Const.t option,
    Visibility.Const.t option,
    Staticity.Const.t option)
    modes

val none : t

val value : t -> default:some -> some

val print : Mode_intf.Fmt.formatter -> t -> unit

val proj : 'a Axis.t -> t -> 'a option

val set : 'a Axis.t -> 'a option -> t -> t

Module Const.Option

Module `Const.Option`