Option (merlin-lib.merlin-lib.ocaml_typing.Ocaml

type some = t

type t =
  (Regionality.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 : Format.formatter -> t -> unit

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

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