Module `Const.Option`

type some = Ocaml_typing.Mode.Value.Const.t

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

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

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

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

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

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

Module Const.Option

Module `Const.Option`