Module `Const.Option`

type some = Mode.Value.Const.t

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

val none : Mode.Value.Const.Option.t

val value : 
  Mode.Value.Const.Option.t ->
  default:Mode.Value.Const.Option.some ->
  Mode.Value.Const.Option.some

val print : Stdlib.Format.formatter -> Mode.Value.Const.Option.t -> unit

val proj : 'a Mode.Value.Axis.t -> Mode.Value.Const.Option.t -> 'a option

val set : 
  'a Mode.Value.Axis.t ->
  'a option ->
  Mode.Value.Const.Option.t ->
  Mode.Value.Const.Option.t

Module Const.Option

Module `Const.Option`